WIP: Tweaks to type inference

paldepind · paldepind · commit d0d827565f78 · 2025-05-07T15:29:58.000-04:00
diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -510,6 +510,9 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
         satisfiesConcreteTypes(app, abs, tm) and
         typeParametersHaveEqualInstantiation(app, abs, tm)
       }
+      // predicate instantiatesWith(App app, TypeAbstraction abs, TypeMention tm, TypeParameter tp, Type t) {
+      //   // TODO:
+      // }
     }
 
     /** Provides logic related to base types. */

Original file line number	Diff line number	Diff line change
`@@ -510,6 +510,9 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {`
`510`	`510`	`satisfiesConcreteTypes(app, abs, tm) and`
`511`	`511`	`typeParametersHaveEqualInstantiation(app, abs, tm)`
`512`	`512`	`}`
	`513`	`+ // predicate instantiatesWith(App app, TypeAbstraction abs, TypeMention tm, TypeParameter tp, Type t) {`
	`514`	`+ // // TODO:`
	`515`	`+ // }`
`513`	`516`	`}`
`514`	`517`
`515`	`518`	`/** Provides logic related to base types. */`