github
diff --git a/‎csharp/ql/lib/semmle/code/csharp/Unification.qll‎
Lines changed: 1 addition & 0 deletions b/‎csharp/ql/lib/semmle/code/csharp/Unification.qll‎
Lines changed: 1 addition & 0 deletions
@@ -348,6 +348,7 @@ module Gvn {
    *
    * `subsumes` indicates whether `arg1` in fact subsumes `arg2`.
    */
+  pragma[no_dynamic_join_order]
   pragma[nomagic]
   private predicate unifiableTypeArguments(
     CompoundTypeKind k, GvnTypeArgument arg1, GvnTypeArgument arg2, int i, boolean subsumes
Original file line number	Diff line number	Diff line change
`@@ -348,6 +348,7 @@ module Gvn {`
`348`	`348`	`*`
`349`	`349`	* `subsumes` indicates whether `arg1` in fact subsumes `arg2`.
`350`	`350`	`*/`
	`351`	`+ pragma[no_dynamic_join_order]`
`351`	`352`	`pragma[nomagic]`
`352`	`353`	`private predicate unifiableTypeArguments(`
`353`	`354`	`CompoundTypeKind k, GvnTypeArgument arg1, GvnTypeArgument arg2, int i, boolean subsumes`