| // RUN_PIPELINE_TILL: FRONTEND |
| // FIR_DUMP |
| @RequiresOptIn |
| annotation class ExperimentalKotlinAnnotation |
| |
| internal fun interface StableInterface { |
| @ExperimentalKotlinAnnotation // @ExperimentalStdlibApi |
| fun experimentalMethod() |
| } |
| |
| fun regressionTestOverrides() { |
| val anonymous: StableInterface = object : StableInterface { |
| override fun <!OPT_IN_OVERRIDE_ERROR!>experimentalMethod<!>() {} // correctly fails check |
| } |
| val lambda = <!OPT_IN_USAGE!>StableInterface<!> {} // this does not get flagged |
| } |
| |
| @ExperimentalKotlinAnnotation |
| fun suppressed() { |
| val lambda = StableInterface {} |
| } |
| |
| /* GENERATED_FIR_TAGS: annotationDeclaration, anonymousObjectExpression, funInterface, functionDeclaration, |
| interfaceDeclaration, lambdaLiteral, localProperty, override, propertyDeclaration */ |
