1 files changed, 7 insertions, 0 deletions
diff --git a/tests/semantic/method-precondition.test b/tests/semantic/method-precondition.test
new file mode 100644
index 000000000..019740ddf
--- /dev/null
+++ b/tests/semantic/method-precondition.test
@@ -0,0 +1,7 @@
+Invalid Code
+
+void foo (int i) requires (i) {
+}
+
+void main () {
+}