Workaround for the logic issue of AnnotatedTypes.asMemberOf

.github/workflows/main.yml

@@ -11,6 +11,7 @@ on:
 jobs:
   build:
     strategy:
+      fail-fast: false
       matrix:
         jdk: [ 8, 11, 17 ]
     runs-on: ubuntu-latest

src/ontology/OntologyInferenceAnnotatedTypeFactory.java

@@ -17,6 +17,7 @@
 import ontology.qual.OntologyValue;
 import ontology.util.OntologyUtils;
 import org.checkerframework.common.basetype.BaseAnnotatedTypeFactory;
+import org.checkerframework.framework.qual.TypeUseLocation;
 import org.checkerframework.framework.type.AnnotatedTypeFactory;
 import org.checkerframework.framework.type.AnnotatedTypeMirror;
 import org.checkerframework.framework.type.treeannotator.ListTreeAnnotator;

testing/ParameterizedTypeTest.java

@@ -0,0 +1,17 @@
+interface Iterator<T> {
+    T next();
+}
+
+abstract class CursorIterator implements Iterator<Double> {
+}
+
+abstract class Matrix {
+    public void multiply1(CursorIterator it) {
+        double x = it.next();
+    }
+
+    public void multiply2(CursorIterator it) {
+        double x;
+        x = it.next();
+    }
+}