KT element: KtAnnotationEntry FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: @R|Anno|[Types](s = String(str)) FIR FILE: FILE: [ResolvedTo(IMPORTS)] annotationInsideWhereProperty.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 abstract [ResolvedTo(STATUS)] interface One : R|kotlin/Any| { } public abstract [ResolvedTo(STATUS)] interface Two : R|kotlin/Any| { } public final [ResolvedTo(ANNOTATION_ARGUMENTS)] val <[ResolvedTo(ANNOTATION_ARGUMENTS)] T : R|One|, R|@R|Anno|(s = String(str)) Two|> R|T|.foo: R|T| public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|T| { ^ this@R|/foo| }