mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Dmitry Gridin
d5e406563b
^KTIJ-22084 Fixed GitOrigin-RevId: b5c605bb7cc5ba1420e96f329632545ba84816d1
15 lines
233 B
Kotlin
15 lines
233 B
Kotlin
// WITH_STDLIB
|
|
// COMPILER_ARGUMENTS: -Xopt-in=kotlin.RequiresOptIn
|
|
|
|
@RequiresOptIn
|
|
annotation class Marker
|
|
|
|
lateinit var variable: RecType<*>
|
|
|
|
@OptIn(<caret>Marker::class)
|
|
fun t() {
|
|
variable
|
|
}
|
|
|
|
interface RecType<R : RecType<R>>
|