@@ -868,7 +868,7 @@ predicate inferTypeUnique = M3::inferTypeUnique/2;
 predicate inferTypeCertain = M3::inferTypeCertain/2;
 
 Type inferVariableType(LocalVariable variable) {
-  result = Input3::inferTypeFromVariable(variable, _)
+  result = Input3::inferTypeFromVariable(variable, TypePath::nil())
 }
 
 Type inferBaseType(MemberAccess access) {
Original file line number	Diff line number	Diff line change
`@@ -868,7 +868,7 @@ predicate inferTypeUnique = M3::inferTypeUnique/2;`
`868`	`868`	`predicate inferTypeCertain = M3::inferTypeCertain/2;`
`869`	`869`
`870`	`870`	`Type inferVariableType(LocalVariable variable) {`
`871`		`- result = Input3::inferTypeFromVariable(variable, _)`
	`871`	`+ result = Input3::inferTypeFromVariable(variable, TypePath::nil())`
`872`	`872`	`}`
`873`	`873`
`874`	`874`	`Type inferBaseType(MemberAccess access) {`