mirror of
https://github.com/github/codeql.git
synced 2026-04-28 18:25:24 +02:00
This is a shortcoming of the Kotlin extractor, but at least this way we don't introduce an inconsistency if the annotation is later seen from .kt source or by the Java extractor