RAW_FIR:
FILE: [ResolvedTo(RAW_FIR)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(RAW_FIR)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(RAW_FIR)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(RAW_FIR)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @Target[Unresolved](LAZY_EXPRESSION) public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public? final? [ResolvedTo(RAW_FIR)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(RAW_FIR)] T : One, @Anno[Unresolved](LAZY_EXPRESSION) Two> foo([ResolvedTo(RAW_FIR)] t: T): <implicit> { LAZY_BLOCK }

        }

IMPORTS:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(RAW_FIR)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(RAW_FIR)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(RAW_FIR)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @Target[Unresolved](LAZY_EXPRESSION) public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public? final? [ResolvedTo(RAW_FIR)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(RAW_FIR)] T : One, @Anno[Unresolved](LAZY_EXPRESSION) Two> foo([ResolvedTo(RAW_FIR)] t: T): <implicit> { LAZY_BLOCK }

        }

COMPILER_REQUIRED_ANNOTATIONS:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(RAW_FIR)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(RAW_FIR)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(RAW_FIR)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @Target[Unresolved](LAZY_EXPRESSION) public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] T : One, @Anno[Unresolved](LAZY_EXPRESSION) Two> foo([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] t: T): <implicit> { LAZY_BLOCK }

        }

COMPANION_GENERATION:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(RAW_FIR)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(RAW_FIR)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(RAW_FIR)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @Target[Unresolved](LAZY_EXPRESSION) public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public? final? [ResolvedTo(COMPANION_GENERATION)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(COMPANION_GENERATION)] T : One, @Anno[Unresolved](LAZY_EXPRESSION) Two> foo([ResolvedTo(COMPANION_GENERATION)] t: T): <implicit> { LAZY_BLOCK }

        }

SUPER_TYPES:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(SUPER_TYPES)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(RAW_FIR)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(RAW_FIR)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @Target[Unresolved](LAZY_EXPRESSION) public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public? final? [ResolvedTo(SUPER_TYPES)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(SUPER_TYPES)] T : One, @Anno[Unresolved](LAZY_EXPRESSION) Two> foo([ResolvedTo(SUPER_TYPES)] t: T): <implicit> { LAZY_BLOCK }

        }

TYPES:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(TYPES)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(RAW_FIR)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(RAW_FIR)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public? final? [ResolvedTo(TYPES)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(TYPES)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(LAZY_EXPRESSION)  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(TYPES)] t: R|T|): <implicit> { LAZY_BLOCK }

        }

STATUS:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(STATUS)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(STATUS)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(STATUS)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(STATUS)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(STATUS)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(LAZY_EXPRESSION)  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(STATUS)] t: R|T|): <implicit> { LAZY_BLOCK }

        }

EXPECT_ACTUAL_MATCHING:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(STATUS)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(STATUS)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(STATUS)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(EXPECT_ACTUAL_MATCHING)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(LAZY_EXPRESSION)  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(EXPECT_ACTUAL_MATCHING)] t: R|T|): <implicit> { LAZY_BLOCK }

        }

CONTRACTS:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(STATUS)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(STATUS)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(STATUS)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(CONTRACTS)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(CONTRACTS)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(LAZY_EXPRESSION)  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(CONTRACTS)] t: R|T|): <implicit> { LAZY_BLOCK }

        }

IMPLICIT_TYPES_BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(STATUS)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(STATUS)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(STATUS)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(LAZY_EXPRESSION)  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] t: R|T|): R|T| {
                ^foo R|<local>/t|
            }

        }

CONSTANT_EVALUATION:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(STATUS)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(STATUS)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(STATUS)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[CompilerRequiredAnnotations](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: String): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val s: String = R|<local>/s|
                    public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(CONSTANT_EVALUATION)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(CONSTANT_EVALUATION)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(LAZY_EXPRESSION)  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(CONSTANT_EVALUATION)] t: R|T|): R|T| {
                ^foo R|<local>/t|
            }

        }

ANNOTATION_ARGUMENTS:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(STATUS)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(STATUS)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(STATUS)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: R|kotlin/String|): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
                    public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(ANNOTATION_ARGUMENTS)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(ANNOTATION_ARGUMENTS)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(s = String(str) [evaluated = String(str)])  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(ANNOTATION_ARGUMENTS)] t: R|T|): R|T| {
                ^foo R|<local>/t|
            }

        }

BODY_RESOLVE:
FILE: [ResolvedTo(IMPORTS)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(RAW_FIR)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(STATUS)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(STATUS)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(STATUS)] fun $$eval(): <implicit> { LAZY_BLOCK }

            @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: R|kotlin/String|): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    LAZY_super<R|kotlin/Any|>
                }

                public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
                    public [ResolvedTo(STATUS)] [ContainingClassKey=Anno] get(): R|kotlin/String|

            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public final? [ResolvedTo(RAW_FIR)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(BODY_RESOLVE)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(BODY_RESOLVE)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(s = String(str) [evaluated = String(str)])  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(BODY_RESOLVE)] t: R|T|): R|T| {
                ^foo R|<local>/t|
            }

        }

FILE RAW TO BODY:
FILE: [ResolvedTo(BODY_RESOLVE)] annotationOnTypeInWhereClause.repl.kts
    REPL_SNIPPET: [ResolvedTo(BODY_RESOLVE)] <snippet-annotationOnTypeInWhereClause.repl.kts>
        public final [ResolvedTo(BODY_RESOLVE)] object AnnotationOnTypeInWhereClause_repl : R|kotlin/Any| {
            public [ResolvedTo(BODY_RESOLVE)] AnnotationOnTypeInWhereClause_repl.constructor(): R|AnnotationOnTypeInWhereClause_repl| {
                super<R|kotlin/Any|>()
            }

            public final [ResolvedTo(BODY_RESOLVE)] fun $$eval(): R|kotlin/Unit| {
                <repl declaration reference>: /AnnotationOnTypeInWhereClause_repl.Anno
                <repl declaration reference>: /AnnotationOnTypeInWhereClause_repl.One
                <repl declaration reference>: /AnnotationOnTypeInWhereClause_repl.Two
                <repl declaration reference>: /AnnotationOnTypeInWhereClause_repl.foo
            }

            @R|kotlin/annotation/Target|[Types](allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) [evaluated = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|)]) public final [ResolvedTo(BODY_RESOLVE)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] annotation class Anno : R|kotlin/Annotation| {
                public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Anno] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/AnnotationOnTypeInWhereClause_repl.Anno.s] s: R|kotlin/String|): R|AnnotationOnTypeInWhereClause_repl.Anno| {
                    super<R|kotlin/Any|>()
                }

                public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val s: R|kotlin/String| = R|<local>/s|
                    public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Anno] get(): R|kotlin/String|

            }

            public abstract [ResolvedTo(BODY_RESOLVE)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface One : R|kotlin/Any| {
            }

            public abstract [ResolvedTo(BODY_RESOLVE)] [ContainingReplKey=FirReplSnippetSymbol AnnotationOnTypeInWhereClause_repl, ReplSnippetTopLevelDeclaration=true] interface Two : R|kotlin/Any| {
            }

            public final [ResolvedTo(BODY_RESOLVE)] [ReplSnippetTopLevelDeclaration=true] fun <[ResolvedTo(BODY_RESOLVE)] T : R|AnnotationOnTypeInWhereClause_repl.One|, R|@R|AnnotationOnTypeInWhereClause_repl.Anno|(s = String(str) [evaluated = String(str)])  AnnotationOnTypeInWhereClause_repl.Two|> foo([ResolvedTo(BODY_RESOLVE)] t: R|T|): R|T| {
                ^foo R|<local>/t|
            }

        }
