diff --git a/ql/src/semmle/go/Types.qll b/ql/src/semmle/go/Types.qll
index 0df15336060..2c63986e55e 100644
--- a/ql/src/semmle/go/Types.qll
+++ b/ql/src/semmle/go/Types.qll
@@ -581,6 +581,7 @@ class NamedType extends @namedtype, CompositeType {
 /**
  * Holds if `i` is the empty interface type, which is implemented by every type with a method set.
  */
+pragma[noinline]
 private predicate isEmptyInterface(InterfaceType i) { not i.hasMethod(_, _) }
 
 /**