We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b975e12 commit c7c3540Copy full SHA for c7c3540
1 file changed
csharp/ql/src/Stubs/Stubs.qll
@@ -128,6 +128,7 @@ abstract private class GeneratedType extends Type, GeneratedElement {
128
/** Gets the entire C# stub code for this type. */
129
pragma[nomagic]
130
final string getStub(Assembly assembly) {
131
+ this.isInAssembly(assembly) and
132
if this.isDuplicate(assembly)
133
then
134
result =
0 commit comments