Removed file with single test

usethesource · Oct 17, 2024 · 97de64d · 97de64d
1 parent 8d25816
commit 97de64d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StatementTCTests.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StatementTCTests.rsc
@@ -69,6 +69,9 @@ test bool VisitError3() = unexpectedType("visit(1) { case int x: insert \"a\"; }
 test bool VisitError4() = unexpectedType("void main(){ visit(1) { case int x: insert 1; }; x; }");
 test bool VisitError5() = unexpectedType("insert 2;");
 
+test bool WrongInsert() = unexpectedType("String vs = visit ([1,2,3]) {case 1: insert \"abc\";} == [\"abc\", 2, 3];;");
+
+
 // https://github.com/cwi-swat/rascal/issues/416
 
 test bool Issue416() = checkModuleOK("

diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/VisitTCTests.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/VisitTCTests.rsc