mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01: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.
10 lines
229 B
Kotlin
10 lines
229 B
Kotlin
import zpkg.A
|
|
|
|
class KotlinAnnotatedMethods {
|
|
|
|
@A fun f(@A m: AnnotatedMethods): String = m.notNullAnnotated("hello") + m.nullableAnnotated("world")!!
|
|
|
|
}
|
|
|
|
class KotlinDelegate(c: AnnotatedMethods) : AnnotatedInterface by c { }
|