Python: Fix test failure

tausbn · tausbn · commit f92d836607a4 · 2022-11-11T16:03:14.000Z
Casting to `ImportExpr` caused the `typetracking_imports` test to fail.
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/ImportResolution.qll b/python/ql/lib/semmle/python/dataflow/new/internal/ImportResolution.qll
@@ -80,7 +80,7 @@ module ImportResolution {
     )
     or
     exists(Alias a |
-      defn.asExpr() = [a.getValue().(ImportExpr), a.getValue().(ImportMember).getModule()] and
+      defn.asExpr() = [a.getValue(), a.getValue().(ImportMember).getModule()] and
       a.getAsname().(Name).getId() = name and
       defn.getScope() = m
     )

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ module ImportResolution {`
`80`	`80`	`)`
`81`	`81`	`or`
`82`	`82`	`exists(Alias a \|`
`83`		`- defn.asExpr() = [a.getValue().(ImportExpr), a.getValue().(ImportMember).getModule()] and`
	`83`	`+ defn.asExpr() = [a.getValue(), a.getValue().(ImportMember).getModule()] and`
`84`	`84`	`a.getAsname().(Name).getId() = name and`
`85`	`85`	`defn.getScope() = m`
`86`	`86`	`)`