Add test for Java extracting ErrorType

java/ql/test/library-tests/errortype/ErrorTypes.expected

@@ -0,0 +1 @@
+| Test.java:7:12:7:14 | nsc |

java/ql/test/library-tests/errortype/ErrorTypes.ql

@@ -0,0 +1,3 @@
+import java
+
+select any(Expr e | e.getType() instanceof ErrorType)

java/ql/test/library-tests/errortype/PrintAst.expected

@@ -0,0 +1,14 @@
+Test.java:
+#    6| [TypeAccess] NoSuchClass
+#    0| [CompilationUnit] Test
+#-----|   -1: (Imports)
+#    1|     1: [ImportType] import NoSuchClass
+#    3|   1: [Class] Test
+#    5|     2: [Method] test
+#    5|       3: [TypeAccess] NoSuchClass
+#    5|       5: [BlockStmt] { ... }
+#    6|         0: [LocalVariableDeclStmt] var ...;
+#    6|           0: [TypeAccess] NoSuchClass
+#    6|           1: [LocalVariableDeclExpr] nsc
+#    7|         1: [ReturnStmt] return ...
+#    7|           0: [VarAccess] nsc

java/ql/test/library-tests/errortype/PrintAst.qlref

@@ -0,0 +1 @@
+semmle/code/java/PrintAst.ql

java/ql/test/library-tests/errortype/Test.java

@@ -0,0 +1,10 @@
+import nosuchpackage.NoSuchClass;
+
+public class Test {
+
+  public NoSuchClass test() {
+    NoSuchClass nsc = new NoSuchClass();
+    return nsc;
+  }
+
+}

java/ql/test/library-tests/errortype/options

@@ -0,0 +1 @@
+//semmle-extractor-options: --no-strict-javac-errors --javac-args -source 17 -target 17