diff --git a/src/org/rascalmpl/library/lang/rascal/tests/basic/Generics.rsc b/src/org/rascalmpl/library/lang/rascal/tests/basic/Generics.rsc index 4fba91037c1..252c284402a 100644 --- a/src/org/rascalmpl/library/lang/rascal/tests/basic/Generics.rsc +++ b/src/org/rascalmpl/library/lang/rascal/tests/basic/Generics.rsc @@ -49,9 +49,12 @@ bool less(&T a, &T b) = a < b; test bool lessIsConsistentThroughTypeParameters(num x, num y) = (x < y) ==> less(x, y); -&T avoidEmpty(list[&T] _) { throw "this should not happen"; } +@ignoreCompiler{How to make 1 compatible with &T?} +&T avoidEmpty(list[&T] _) { return 1; } +@ignoreCompiler{How to make 1 compatible with &T?} &T avoidEmpty(list[&T] _) { throw "this should happen"; } +@ignoreCompiler{How to make 1 compatible with &T?} test bool voidReturnIsNotAllowed() { try { avoidEmpty([]);