[FIR] FirResolvePhaseRenderer: change format for FirSyntheticPropertyAccessor

^KT-61990

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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(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|(<strcat>(String(type: ), prop#))  kotlin/String|
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|@R|Anno|(<strcat>(String(type: ), prop#))  kotlin/String| { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnType.txt

@@ -1,6 +1,6 @@
 RAW_FIR:
 TARGET: public open override [ResolvedTo(STATUS)] val something: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotations.txt

@@ -1,6 +1,6 @@
 RAW_FIR:
 TARGET: public open override [ResolvedTo(STATUS)] val something: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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: <implicit>
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/implicitReturnTypeAndAnnotationsAsGetter.txt

@@ -1,5 +1,5 @@
 RAW_FIR:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 IMPORTS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 COMPILER_REQUIRED_ANNOTATIONS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 COMPANION_GENERATION:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 SUPER_TYPES:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 TYPES:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 STATUS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 EXPECT_ACTUAL_MATCHING:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 ARGUMENTS_OF_ANNOTATIONS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 CONTRACTS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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>
 
 IMPLICIT_TYPES_BODY_RESOLVE:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 ANNOTATIONS_ARGUMENTS_MAPPING:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { 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(): <implicit>
 
 BODY_RESOLVE:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): <implicit> { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|KotlinBase| {

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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    public [<synthetic>] set([ResolvedTo(STATUS)] s: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    public [<synthetic> 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| {

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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(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 [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
-    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
+    @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsGetter.txt

@@ -1,5 +1,5 @@
 RAW_FIR:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 IMPORTS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 COMPILER_REQUIRED_ANNOTATIONS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 COMPANION_GENERATION:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 SUPER_TYPES:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 TYPES:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 STATUS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 EXPECT_ACTUAL_MATCHING:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 ARGUMENTS_OF_ANNOTATIONS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 CONTRACTS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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>
 
 IMPLICIT_TYPES_BODY_RESOLVE:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 ANNOTATIONS_ARGUMENTS_MAPPING:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> 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(): <implicit>
 
 BODY_RESOLVE:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] get(): R|kotlin/String| { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

analysis/low-level-api-fir/testData/lazyResolve/syntheticProperties/setterAndExplicitReturnTypeAndAnnotationsAsSetter.txt

@@ -1,5 +1,5 @@
 RAW_FIR:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 IMPORTS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 COMPILER_REQUIRED_ANNOTATIONS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 COMPANION_GENERATION:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 SUPER_TYPES:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 TYPES:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 STATUS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 EXPECT_ACTUAL_MATCHING:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 ARGUMENTS_OF_ANNOTATIONS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 CONTRACTS:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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>
 
 IMPLICIT_TYPES_BODY_RESOLVE:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 ANNOTATIONS_ARGUMENTS_MAPPING:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { 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(): <implicit>
 
 BODY_RESOLVE:
-TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic>] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
+TARGET: @R|Anno|[Types](LAZY_EXPRESSION) public [<synthetic> ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] s: R|@R|Anno|(<strcat>(String(setter type ), propertyFromSetter#))  kotlin/String|): <implicit> { LAZY_BLOCK }
 
 FILE: [ResolvedTo(IMPORTS)] Derived.kt
     public final [ResolvedTo(STATUS)] class Derived : R|Base| {

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) {
-            "[<synthetic>] "
+            "[<synthetic> ${element.delegate.resolveState}] "
         } else {
-            @OptIn(ResolveStateAccess::class)
             "[${element.resolveState}] "
         }