| // RUN_PIPELINE_TILL: FRONTEND |
| // LANGUAGE: -ForbidTypeAliasToCompilerRequiredAnnotation |
| // WITH_EXTRA_CHECKERS |
| |
| package a.b.c |
| |
| import <!PLATFORM_CLASS_MAPPED_TO_KOTLIN("kotlin.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 NotOptIn |
| |
| @SubclassOptInRequired(<!SUBCLASS_OPT_IN_ARGUMENT_IS_NOT_MARKER!>NotOptIn::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"), TYPEALIAS_EXPANDS_TO_COMPILER_REQUIRED_ANNOTATION_WARNING!>kotlin.Deprecated<!> |
| |
| /* GENERATED_FIR_TAGS: actual, annotationDeclaration, anonymousObjectExpression, classDeclaration, classReference, |
| funInterface, functionDeclaration, interfaceDeclaration, override, typeAliasDeclaration */ |
