Revert "No longer ignoreCompiler for avoidEmpty"

This reverts commit 32e786b.
usethesource · Mar 18, 2024 · 473b075 · 473b075
1 parent 32e786b
commit 473b075
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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([]);