@@ -750,7 +750,8 @@ predicate unqualifiedMemberAccess(
   ClassLikeDeclaration accessingClass
 ) {
   CachedStage::ref() and
-  unqualifiedMemberAccessCand(access, instanceAccess, target, accessingClass) and
+  unqualifiedMemberAccessCand(pragma[only_bind_into](access), instanceAccess, target,
+    pragma[only_bind_into](accessingClass)) and
   accessingClass.getDepth() = unqualifiedMemberAccessDepth(access)
 }
Original file line number	Diff line number	Diff line change
`@@ -750,7 +750,8 @@ predicate unqualifiedMemberAccess(`
`750`	`750`	`ClassLikeDeclaration accessingClass`
`751`	`751`	`) {`
`752`	`752`	`CachedStage::ref() and`
`753`		`- unqualifiedMemberAccessCand(access, instanceAccess, target, accessingClass) and`
	`753`	`+ unqualifiedMemberAccessCand(pragma[only_bind_into](access), instanceAccess, target,`
	`754`	`+ pragma[only_bind_into](accessingClass)) and`
`754`	`755`	`accessingClass.getDepth() = unqualifiedMemberAccessDepth(access)`
`755`	`756`	`}`
`756`	`757`