mirror of
https://github.com/github/codeql.git
synced 2026-08-04 09:23:23 +02:00
321820e758
We are no longer bound to the platform-specific directories, so simplify the test organization. If you don't want this change, just skip merging this PR. It's purely optional. I kept the platform-specific directories around under `kotlin`, but you could also easily merge all these together if you find them unhelpful. I'll leave that change to you.
12 lines
312 B
Kotlin
12 lines
312 B
Kotlin
public class KtUser {
|
|
|
|
fun user() {
|
|
val a = AnnotatedUsedByKotlin()
|
|
val b = HasJavaDeprecatedAnnotationUsedByKotlin()
|
|
val c = HasKotlinDeprecatedAnnotationUsedByKotlin()
|
|
// Use a Java-defined function carrying a java.lang.Deprecated annotation:
|
|
java.lang.Character.isJavaLetter('a')
|
|
}
|
|
|
|
}
|