Anastasia.Nekrasova
ad9025afa6
At the moment, SubclassOptInRequired is marked with the ExperimentalSubclassOptIn annotation. However, it does not work as expected due to a missing opt-in error. To use SubclassOptInRequired, an explicit opt-in is necessary because SubclassOptInRequired is an unstable feature now. ^KT-64739
34 lines
1.2 KiB
Kotlin
Vendored
34 lines
1.2 KiB
Kotlin
Vendored
// WITH_EXTENDED_CHECKERS
|
|
@file:OptIn(ExperimentalSubclassOptIn::class)
|
|
|
|
package a.b.c
|
|
|
|
import <!PLATFORM_CLASS_MAPPED_TO_KOTLIN("kotlin.jvm.functions.Function0")!>kotlin.jvm.functions.Function0<!>
|
|
|
|
@RequiresOptIn
|
|
annotation class Marker
|
|
|
|
@Marker
|
|
class Some
|
|
|
|
fun main() {
|
|
<!OPT_IN_USAGE_ERROR("a.b.c.Marker; This declaration needs opt-in. Its usage must be marked with '@a.b.c.Marker' or '@OptIn(a.b.c.Marker::class)'")!>Some<!>()
|
|
}
|
|
|
|
annotation class DummyAnnotation
|
|
|
|
<!OPT_IN_ARGUMENT_IS_NOT_MARKER("a.b.c.DummyAnnotation")!>@SubclassOptInRequired(DummyAnnotation::class)<!>
|
|
open class IncorrectSubclassOptInArgumentMarker
|
|
|
|
internal fun interface StableInterface {
|
|
@Marker
|
|
fun experimentalMethod()
|
|
}
|
|
|
|
fun testOverrides() {
|
|
object : StableInterface {
|
|
override fun <!OPT_IN_OVERRIDE_ERROR("a.b.c.Marker; Base declaration of supertype 'StableInterface' needs opt-in. The declaration override must be annotated with '@a.b.c.Marker' or '@OptIn(a.b.c.Marker::class)'")!>experimentalMethod<!>() {}
|
|
}
|
|
}
|
|
|
|
<!NOT_A_MULTIPLATFORM_COMPILATION!>actual<!> typealias TypealiasToKotlinPkg = <!ACTUAL_TYPEALIAS_TO_SPECIAL_ANNOTATION("kotlin.Deprecated")!>kotlin.Deprecated<!> |