github
diff --git a/‎cpp/common/src/codingstandards/cpp/types/Compatible.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/types/Compatible.qll
+1Lines changed: 1 addition & 0 deletions b/‎cpp/common/src/codingstandards/cpp/types/Compatible.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/types/Compatible.qll
+1Lines changed: 1 addition & 0 deletions
@@ -69,6 +69,7 @@ module TypesCompatibleConfig implements TypeEquivalenceSig {
 /**
  * Utilize QlBuiltins::InternSets to efficiently compare the sets of specifiers on two types.
  */
+bindingset[t1, t2]
 private predicate specifiersMatchExactly(Type t1, Type t2) {
   t1 = t2
   or