| // RUN_PIPELINE_TILL: FRONTEND | |
| import kotlin.contracts.* | |
| @OptIn(ExperimentalContracts::class) | |
| fun foo() { | |
| contract { | |
| <!ANNOTATION_IN_CONTRACT_ERROR!>@<!UNRESOLVED_REFERENCE!>foo<!><!><!SYNTAX!><!> | |
| } | |
| } | |
| /* GENERATED_FIR_TAGS: classReference, contracts, functionDeclaration, lambdaLiteral */ |