C#: Use the location of the unbound declaration for constructed generics.

michaelnebel · michaelnebel · commit f9c958038a0a · 2025-09-24T16:34:38.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/Callable.qll b/csharp/ql/lib/semmle/code/csharp/Callable.qll
@@ -265,7 +265,7 @@ class Method extends Callable, Virtualizable, Attributable, @method {
     result = Virtualizable.super.getAnUltimateImplementor()
   }
 
-  override Location getALocation() { method_location(this, result) }
+  override Location getALocation() { method_location(this.getUnboundDeclaration(), result) }
 
   /** Holds if this method is an extension method. */
   predicate isExtensionMethod() { this.getParameter(0).hasExtensionMethodModifier() }

Original file line number	Diff line number	Diff line change
`@@ -265,7 +265,7 @@ class Method extends Callable, Virtualizable, Attributable, @method {`
`265`	`265`	`result = Virtualizable.super.getAnUltimateImplementor()`
`266`	`266`	`}`
`267`	`267`
`268`		`- override Location getALocation() { method_location(this, result) }`
	`268`	`+ override Location getALocation() { method_location(this.getUnboundDeclaration(), result) }`
`269`	`269`
`270`	`270`	`/** Holds if this method is an extension method. */`
`271`	`271`	`predicate isExtensionMethod() { this.getParameter(0).hasExtensionMethodModifier() }`