Look through generic annotation types extracted from Kotlin

smowton · smowton · commit 40e902eca948 · 2022-12-09T11:52:28.000Z
diff --git a/java/ql/lib/semmle/code/java/Annotation.qll b/java/ql/lib/semmle/code/java/Annotation.qll
@@ -38,7 +38,7 @@ class Annotation extends @annotation, Expr {
 
   /** Gets the annotation type declaration for this annotation. */
   override AnnotationType getType() {
-    result = Expr.super.getType().(AnnotationType).getSourceDeclaration()
+    result = Expr.super.getType().(Interface).getSourceDeclaration()
   }
 
   /** Gets the annotation element with the specified `name`. */

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ class Annotation extends @annotation, Expr {`
`38`	`38`
`39`	`39`	`/** Gets the annotation type declaration for this annotation. */`
`40`	`40`	`override AnnotationType getType() {`
`41`		`- result = Expr.super.getType().(AnnotationType).getSourceDeclaration()`
	`41`	`+ result = Expr.super.getType().(Interface).getSourceDeclaration()`
`42`	`42`	`}`
`43`	`43`
`44`	`44`	/** Gets the annotation element with the specified `name`. */