| // RUN_PIPELINE_TILL: FRONTEND | |
| @file:OptIn(ExperimentalVersionOverloading::class) | |
| fun foo( | |
| @IntroducedAt("2") b: Int = 2, | |
| <!NON_ASCENDING_VERSION_ANNOTATION!>@IntroducedAt("1")<!> c: Int = 1, | |
| ) {} | |
| /* GENERATED_FIR_TAGS: annotationUseSiteTargetFile, classReference, functionDeclaration, integerLiteral, stringLiteral */ |