diff --git a/ql/src/semmle/go/controlflow/IR.qll b/ql/src/semmle/go/controlflow/IR.qll
index 95270055d18..b0d8a8786d7 100644
--- a/ql/src/semmle/go/controlflow/IR.qll
+++ b/ql/src/semmle/go/controlflow/IR.qll
@@ -662,7 +662,7 @@ module IR {
       )
       or
       exists(TypeAssertExpr tae | getBase() = evalExprInstruction(tae) |
-        result = tae.getType().(TupleType).getComponentType(i)
+        result = tae.getType().(TupleType).getComponentType(pragma[only_bind_into](i))
       )
       or
       exists(Type rangeType | rangeType = s.(RangeStmt).getDomain().getType().getUnderlyingType() |