Update python/ql/lib/semmle/python/dataflow/new/internal/TypeTracker.qll

hvitved · tausbn · hvitved · commit 1e64893742ea · 2021-11-02T11:16:32.000+01:00
Co-authored-by: Taus &lt;tausbn@github.com&gt;
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/TypeTracker.qll b/python/ql/lib/semmle/python/dataflow/new/internal/TypeTracker.qll
@@ -475,7 +475,7 @@ class TypeBackTracker extends TTypeBackTracker {
    */
   TypeTracker getACompatibleTypeTracker() {
     exists(boolean hasCall | result = MkTypeTracker(hasCall, content) |
-      hasCall = false or hasReturn() = false
+      hasCall = false or this.hasReturn() = false
     )
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -475,7 +475,7 @@ class TypeBackTracker extends TTypeBackTracker {`
`475`	`475`	`*/`
`476`	`476`	`TypeTracker getACompatibleTypeTracker() {`
`477`	`477`	`exists(boolean hasCall \| result = MkTypeTracker(hasCall, content) \|`
`478`		`- hasCall = false or hasReturn() = false`
	`478`	`+ hasCall = false or this.hasReturn() = false`
`479`	`479`	`)`
`480`	`480`	`}`
`481`	`481`	`}`