diff --git a/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll b/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
index 743b8e4fae6..25137f75a96 100644
--- a/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
+++ b/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
@@ -698,6 +698,10 @@ module CFG {
       not this.(SelectorExpr).getBase() instanceof ValueExpr and
       nd = mkExprOrSkipNode(this) and
       cmpl = Done()
+      or
+      this instanceof GenericFunctionInstantiationExpr and
+      nd = MkExprNode(this) and
+      cmpl = Done()
     }
 
     override predicate firstNode(ControlFlow::Node first) { first = nd }