KT element: KtAnnotationEntry FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: @R|Anno|[Types](s = String(str)) FIR FILE: FILE: [ResolvedTo(IMPORTS)] annotationInsideWhereFunction.kt @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| { public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Anno.s] s: R|kotlin/String|): R|Anno| { LAZY_super } public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|/s| public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String| } public final? [ResolvedTo(RAW_FIR)] interface One : R|kotlin/Any| { } public final? [ResolvedTo(RAW_FIR)] interface Two : R|kotlin/Any| { } public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun <[ResolvedTo(ANNOTATION_ARGUMENTS)] T : R|One|, R|@R|Anno|(s = String(str)) Two|> foo([ResolvedTo(ANNOTATION_ARGUMENTS)] t: R|T|): R|T| { ^foo R|/t| }