Skip to content

Commit f90d1fd

Browse files
authored
Merge pull request github#6636 from tamasvajk/fix/stubbing-2
C#: Fix member order (yet again) in stubbing
2 parents 995a819 + 469993f commit f90d1fd

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

csharp/ql/src/Stubs/Stubs.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -180,7 +180,9 @@ abstract private class GeneratedType extends Type, GeneratedElement {
180180
concat(GeneratedMember m |
181181
m = this.getAGeneratedMember(assembly)
182182
|
183-
stubMember(m, assembly) order by m.getQualifiedNameWithTypes()
183+
stubMember(m, assembly)
184+
order by
185+
m.getQualifiedNameWithTypes(), stubExplicitImplementation(m)
184186
)
185187
}
186188

0 commit comments

Comments
 (0)