github
diff --git a/‎csharp/ql/src/Stubs/Stubs.qll‎
Lines changed: 3 additions & 1 deletion b/‎csharp/ql/src/Stubs/Stubs.qll‎
Lines changed: 3 additions & 1 deletion
@@ -180,7 +180,9 @@ abstract private class GeneratedType extends Type, GeneratedElement {
       concat(GeneratedMember m |
         m = this.getAGeneratedMember(assembly)
       |
-        stubMember(m, assembly) order by m.getQualifiedNameWithTypes()
+        stubMember(m, assembly)
+        order by
+          m.getQualifiedNameWithTypes(), stubExplicitImplementation(m)
       )
   }
Original file line number	Diff line number	Diff line change
`@@ -180,7 +180,9 @@ abstract private class GeneratedType extends Type, GeneratedElement {`
`180`	`180`	`concat(GeneratedMember m \|`
`181`	`181`	`m = this.getAGeneratedMember(assembly)`
`182`	`182`	`\|`
`183`		`- stubMember(m, assembly) order by m.getQualifiedNameWithTypes()`
	`183`	`+ stubMember(m, assembly)`
	`184`	`+ order by`
	`185`	`+ m.getQualifiedNameWithTypes(), stubExplicitImplementation(m)`
`184`	`186`	`)`
`185`	`187`	`}`
`186`	`188`