From 6c1405cf99af2032c58da99c2cc6bb92996c4993 Mon Sep 17 00:00:00 2001 From: Dmitrii Gridin Date: Thu, 12 Oct 2023 19:54:42 +0200 Subject: [PATCH] [FIR] FirResolvePhaseRenderer: change format for FirSyntheticPropertyAccessor ^KT-61990 --- .../explicitReturnType.txt | 26 +++++----- .../explicitReturnTypeAndAnnotations.txt | 26 +++++----- .../implicitReturnType.txt | 26 +++++----- .../implicitReturnTypeAndAnnotations.txt | 26 +++++----- ...plicitReturnTypeAndAnnotationsAsGetter.txt | 26 +++++----- .../secondGenerationOverride.txt | 52 +++++++++---------- .../setterAndExplicitReturnType.txt | 52 +++++++++---------- ...terAndExplicitReturnTypeAndAnnotations.txt | 52 +++++++++---------- ...plicitReturnTypeAndAnnotationsAsGetter.txt | 26 +++++----- ...plicitReturnTypeAndAnnotationsAsSetter.txt | 26 +++++----- .../fir/renderer/FirResolvePhaseRenderer.kt | 4 +- 11 files changed, 171 insertions(+), 171 deletions(-) diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnType.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnType.txt index 9670af8eea9..a1255eb6c6c 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnType.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnType.txt @@ -1,6 +1,6 @@ RAW_FIR: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -14,7 +14,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPORTS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -28,7 +28,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPILER_REQUIRED_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -42,7 +42,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPANION_GENERATION: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -56,7 +56,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt SUPER_TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -70,7 +70,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -84,7 +84,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt STATUS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -98,7 +98,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt EXPECT_ACTUAL_MATCHING: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -112,7 +112,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ARGUMENTS_OF_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -126,7 +126,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt CONTRACTS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -140,7 +140,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -154,7 +154,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ANNOTATIONS_ARGUMENTS_MAPPING: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -168,7 +168,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnTypeAndAnnotations.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnTypeAndAnnotations.txt index db900e0b262..2346201dd51 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnTypeAndAnnotations.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/explicitReturnTypeAndAnnotations.txt @@ -1,6 +1,6 @@ RAW_FIR: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -25,7 +25,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPORTS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -50,7 +50,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPILER_REQUIRED_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -75,7 +75,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPANION_GENERATION: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -100,7 +100,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt SUPER_TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -125,7 +125,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -150,7 +150,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt STATUS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -175,7 +175,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt EXPECT_ACTUAL_MATCHING: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -200,7 +200,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ARGUMENTS_OF_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -225,7 +225,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt CONTRACTS: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -250,7 +250,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -275,7 +275,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ANNOTATIONS_ARGUMENTS_MAPPING: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -300,7 +300,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: R|@R|Anno|((String(type: ), prop#)) kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|@R|Anno|((String(type: ), prop#)) kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnType.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnType.txt index 057cd47979f..072a11e498c 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnType.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnType.txt @@ -1,6 +1,6 @@ RAW_FIR: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -14,7 +14,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPORTS: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -28,7 +28,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPILER_REQUIRED_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -42,7 +42,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPANION_GENERATION: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -56,7 +56,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt SUPER_TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -70,7 +70,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -84,7 +84,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt STATUS: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -98,7 +98,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt EXPECT_ACTUAL_MATCHING: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -112,7 +112,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ARGUMENTS_OF_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -126,7 +126,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt CONTRACTS: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -140,7 +140,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -154,7 +154,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ANNOTATIONS_ARGUMENTS_MAPPING: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -168,7 +168,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: - public [] get(): { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotations.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotations.txt index 6f4bcb74f28..382002f2dc5 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotations.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotations.txt @@ -1,6 +1,6 @@ RAW_FIR: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -27,7 +27,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPORTS: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -54,7 +54,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPILER_REQUIRED_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -81,7 +81,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPANION_GENERATION: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -108,7 +108,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt SUPER_TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -135,7 +135,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt TYPES: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -162,7 +162,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt STATUS: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -189,7 +189,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt EXPECT_ACTUAL_MATCHING: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -216,7 +216,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ARGUMENTS_OF_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -243,7 +243,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt CONTRACTS: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -270,7 +270,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -297,7 +297,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ANNOTATIONS_ARGUMENTS_MAPPING: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -324,7 +324,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] val something: - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotationsAsGetter.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotationsAsGetter.txt index 50249ac7853..899071c0f02 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotationsAsGetter.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotationsAsGetter.txt @@ -1,5 +1,5 @@ RAW_FIR: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -25,7 +25,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): IMPORTS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -51,7 +51,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): COMPILER_REQUIRED_ANNOTATIONS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -77,7 +77,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): COMPANION_GENERATION: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -103,7 +103,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): SUPER_TYPES: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -129,7 +129,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): TYPES: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -155,7 +155,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): STATUS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -181,7 +181,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): EXPECT_ACTUAL_MATCHING: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -207,7 +207,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): ARGUMENTS_OF_ANNOTATIONS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -233,7 +233,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): CONTRACTS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -259,7 +259,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): IMPLICIT_TYPES_BODY_RESOLVE: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -285,7 +285,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): ANNOTATIONS_ARGUMENTS_MAPPING: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -311,7 +311,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): BODY_RESOLVE: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/secondGenerationOverride.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/secondGenerationOverride.txt index 2f042bcb807..8dcfcd4a200 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/secondGenerationOverride.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/secondGenerationOverride.txt @@ -1,7 +1,7 @@ RAW_FIR: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -44,8 +44,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPORTS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -88,8 +88,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPILER_REQUIRED_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -132,8 +132,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPANION_GENERATION: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -176,8 +176,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt SUPER_TYPES: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -220,8 +220,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt TYPES: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -264,8 +264,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt STATUS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -308,8 +308,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt EXPECT_ACTUAL_MATCHING: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -352,8 +352,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ARGUMENTS_OF_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -396,8 +396,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt CONTRACTS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -440,8 +440,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -484,8 +484,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ANNOTATIONS_ARGUMENTS_MAPPING: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { @@ -528,8 +528,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnType.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnType.txt index d82ab616557..d1cfafccd00 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnType.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnType.txt @@ -1,7 +1,7 @@ RAW_FIR: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -17,8 +17,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPORTS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -34,8 +34,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPILER_REQUIRED_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -51,8 +51,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPANION_GENERATION: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -68,8 +68,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt SUPER_TYPES: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -85,8 +85,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt TYPES: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -102,8 +102,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt STATUS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -119,8 +119,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt EXPECT_ACTUAL_MATCHING: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -136,8 +136,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ARGUMENTS_OF_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -153,8 +153,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt CONTRACTS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -170,8 +170,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -187,8 +187,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ANNOTATIONS_ARGUMENTS_MAPPING: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -204,8 +204,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - public [] get(): R|kotlin/String| { LAZY_BLOCK } - public [] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotations.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotations.txt index d4ac3fb85b5..0cf9fd97e63 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotations.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotations.txt @@ -1,7 +1,7 @@ RAW_FIR: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -34,8 +34,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPORTS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -68,8 +68,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPILER_REQUIRED_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -102,8 +102,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt COMPANION_GENERATION: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -136,8 +136,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt SUPER_TYPES: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -170,8 +170,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt TYPES: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -204,8 +204,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt STATUS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -238,8 +238,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt EXPECT_ACTUAL_MATCHING: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -272,8 +272,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ARGUMENTS_OF_ANNOTATIONS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -306,8 +306,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt CONTRACTS: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -340,8 +340,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -374,8 +374,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt ANNOTATIONS_ARGUMENTS_MAPPING: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -408,8 +408,8 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt BODY_RESOLVE: TARGET: public open override [ResolvedTo(STATUS)] var something: R|kotlin/String| - @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } - @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } + @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsGetter.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsGetter.txt index 709124356c6..035ac2df914 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsGetter.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsGetter.txt @@ -1,5 +1,5 @@ RAW_FIR: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -31,7 +31,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): IMPORTS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -63,7 +63,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): COMPILER_REQUIRED_ANNOTATIONS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -95,7 +95,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): COMPANION_GENERATION: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -127,7 +127,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): SUPER_TYPES: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -159,7 +159,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): TYPES: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -191,7 +191,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): STATUS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -223,7 +223,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): EXPECT_ACTUAL_MATCHING: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -255,7 +255,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): ARGUMENTS_OF_ANNOTATIONS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -287,7 +287,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): CONTRACTS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -319,7 +319,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): IMPLICIT_TYPES_BODY_RESOLVE: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -351,7 +351,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): ANNOTATIONS_ARGUMENTS_MAPPING: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -383,7 +383,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): BODY_RESOLVE: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] get(): R|kotlin/String| { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsSetter.txt b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsSetter.txt index d802b5fe9fe..224404063a2 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsSetter.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsSetter.txt @@ -1,5 +1,5 @@ RAW_FIR: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -31,7 +31,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): IMPORTS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -63,7 +63,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): COMPILER_REQUIRED_ANNOTATIONS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -95,7 +95,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): COMPANION_GENERATION: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -127,7 +127,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): SUPER_TYPES: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -159,7 +159,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): TYPES: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -191,7 +191,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): STATUS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -223,7 +223,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): EXPECT_ACTUAL_MATCHING: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -255,7 +255,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): ARGUMENTS_OF_ANNOTATIONS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -287,7 +287,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): CONTRACTS: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -319,7 +319,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): IMPLICIT_TYPES_BODY_RESOLVE: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -351,7 +351,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): ANNOTATIONS_ARGUMENTS_MAPPING: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { @@ -383,7 +383,7 @@ FILE: [ResolvedTo(IMPORTS)] Derived.kt public? [ResolvedTo(RAW_FIR)] get(): BODY_RESOLVE: -TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } +TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [ ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|((String(setter type ), propertyFromSetter#)) kotlin/String|): { LAZY_BLOCK } FILE: [ResolvedTo(IMPORTS)] Derived.kt public final [ResolvedTo(STATUS)] class Derived : R|Base| { diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/renderer/FirResolvePhaseRenderer.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/renderer/FirResolvePhaseRenderer.kt index a91080b06b6..3a91391ad08 100644 --- a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/renderer/FirResolvePhaseRenderer.kt +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/renderer/FirResolvePhaseRenderer.kt @@ -15,10 +15,10 @@ class FirResolvePhaseRenderer { private val printer get() = components.printer fun render(element: FirElementWithResolveState) { + @OptIn(ResolveStateAccess::class) val text = if (element is FirSyntheticPropertyAccessor) { - "[] " + "[ ${element.delegate.resolveState}] " } else { - @OptIn(ResolveStateAccess::class) "[${element.resolveState}] " }