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 ]
     runs-on: ubuntu-latest

src/ontology/OntologyInferenceAnnotatedTypeFactory.java

@@ -21,13 +21,15 @@
 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.QualifierHierarchy;
 import org.checkerframework.framework.type.treeannotator.ListTreeAnnotator;
 import org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator;
 import org.checkerframework.framework.type.treeannotator.TreeAnnotator;
 import org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory;
+import org.checkerframework.framework.util.defaults.QualifierDefaults;
 
 public class OntologyInferenceAnnotatedTypeFactory extends InferenceAnnotatedTypeFactory {
 
@@ -93,6 +95,17 @@ protected void finish(
         }
     }
 
+    /**
+     * TODO: Temporarily set the same default as in OntologyInferenceAnnotatedTypeFactory. Such a
+     * default should not be necessary in inference, but works around this CFI issue:
+     * https://github.com/opprop/checker-framework-inference/issues/310
+     */
+    @Override
+    protected void addCheckedCodeDefaults(QualifierDefaults defaults) {
+        TypeUseLocation[] topLocations = {TypeUseLocation.ALL};
+        defaults.addCheckedCodeDefaults(OntologyUtils.ONTOLOGY_TOP, topLocations);
+    }
+
     @Override
     public TreeAnnotator createTreeAnnotator() {
         return new 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();
+    }
+}