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 index 9196a249..e0691e5c 100644 --- 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 deleted file mode 100644 index 057811e6..00000000 --- a/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/VisitTCTests.rsc +++ /dev/null @@ -1,6 +0,0 @@ -@bootstrapParser -module lang::rascalcore::check::tests::VisitTCTests - -import lang::rascalcore::check::tests::StaticTestingUtils; - -test bool WrongInsert() = unexpectedType("String vs = visit ([1,2,3]) {case 1: insert \"abc\";} == [\"abc\", 2, 3];;");