Ruby: one more pragma

aschackmull · aschackmull · commit b83e851ac6d6 · 2022-08-23T16:04:29.000+02:00
diff --git a/ruby/ql/lib/codeql/ruby/ApiGraphs.qll b/ruby/ql/lib/codeql/ruby/ApiGraphs.qll
@@ -619,7 +619,7 @@ module API {
       exists(TypeBackTracker tb |
         result = mid.track(tmid, t) and
         pragma[only_bind_into](result) = useCandRev(pragma[only_bind_into](tb)) and
-        pragma[only_bind_out](t) = tb.getACompatibleTypeTracker()
+        pragma[only_bind_out](t) = pragma[only_bind_into](tb).getACompatibleTypeTracker()
       )
     }
 

Original file line number	Diff line number	Diff line change
`@@ -619,7 +619,7 @@ module API {`
`619`	`619`	`exists(TypeBackTracker tb \|`
`620`	`620`	`result = mid.track(tmid, t) and`
`621`	`621`	`pragma[only_bind_into](result) = useCandRev(pragma[only_bind_into](tb)) and`
`622`		`- pragma[only_bind_out](t) = tb.getACompatibleTypeTracker()`
	`622`	`+ pragma[only_bind_out](t) = pragma[only_bind_into](tb).getACompatibleTypeTracker()`
`623`	`623`	`)`
`624`	`624`	`}`
`625`	`625`