C#: Minor fix in TypeMention

tamasvajk · tamasvajk · commit c2e8d3fb3b49 · 2020-10-28T11:28:06.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction.CSharp/Entities/TypeMention.cs b/csharp/extractor/Semmle.Extraction.CSharp/Entities/TypeMention.cs
@@ -81,7 +81,7 @@ protected override void Populate(TextWriter trapFile)
                             Create(cx, nts.ElementType, parent, type);
                         }
                     }
-                    else if (type is ArrayType array)
+                    else if (type is ArrayType)
                     {
                         Create(cx, nts.ElementType, parent, type);
                     }

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ protected override void Populate(TextWriter trapFile)`
`81`	`81`	`Create(cx, nts.ElementType, parent, type);`
`82`	`82`	`}`
`83`	`83`	`}`
`84`		`- else if (type is ArrayType array)`
	`84`	`+ else if (type is ArrayType)`
`85`	`85`	`{`
`86`	`86`	`Create(cx, nts.ElementType, parent, type);`
`87`	`87`	`}`