diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/annotationParameters.txt b/analysis/low-level-api-fir/testdata/lazyResolve/annotationParameters.txt
index c29c72bffd3..37b04046327 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/annotationParameters.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/annotationParameters.txt
@@ -69,6 +69,76 @@ FILE: annotationParameters.kt
 
     }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: annotationParameters.kt
+    public? final? [RAW_FIR] enum class X : R|kotlin/Enum<X>| {
+        private [RAW_FIR] [ContainingClassKey=X] constructor(): R|X| {
+            super<R|kotlin/Enum<X>|>()
+        }
+
+        public final static [RAW_FIR] [ContainingClassKey=X] enum entry A: R|X|
+        public final static [BODY_RESOLVE] [ContainingClassKey=X] fun values(): R|kotlin/Array<X>| {
+        }
+
+        public final static [BODY_RESOLVE] [ContainingClassKey=X] fun valueOf([BODY_RESOLVE] value: R|kotlin/String|): R|X| {
+        }
+
+    }
+    public? final? [RAW_FIR] annotation class Anno : R|kotlin/Annotation| {
+        public? [RAW_FIR] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [RAW_FIR] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
+            [TYPES] [ContainingClassKey=Anno] public? get(): A.X
+
+    }
+    public? final? [RAW_FIR] class B : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+            super<R|kotlin/Any|>()
+        }
+
+        @Anno(X#.A#) public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+
+        @Anno(X#.A#) public? final? [RAW_FIR] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
+
+COMPANION_GENERATION:
+FILE: annotationParameters.kt
+    public? final? [RAW_FIR] enum class X : R|kotlin/Enum<X>| {
+        private [RAW_FIR] [ContainingClassKey=X] constructor(): R|X| {
+            super<R|kotlin/Enum<X>|>()
+        }
+
+        public final static [RAW_FIR] [ContainingClassKey=X] enum entry A: R|X|
+        public final static [BODY_RESOLVE] [ContainingClassKey=X] fun values(): R|kotlin/Array<X>| {
+        }
+
+        public final static [BODY_RESOLVE] [ContainingClassKey=X] fun valueOf([BODY_RESOLVE] value: R|kotlin/String|): R|X| {
+        }
+
+    }
+    public? final? [RAW_FIR] annotation class Anno : R|kotlin/Annotation| {
+        public? [RAW_FIR] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [RAW_FIR] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
+            [TYPES] [ContainingClassKey=Anno] public? get(): A.X
+
+    }
+    public? final? [RAW_FIR] class B : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+            super<R|kotlin/Any|>()
+        }
+
+        @Anno(X#.A#) public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+
+        @Anno(X#.A#) public? final? [RAW_FIR] fun foo(): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
+
 SUPER_TYPES:
 FILE: annotationParameters.kt
     public? final? [RAW_FIR] enum class X : R|kotlin/Enum<X>| {
@@ -119,12 +189,12 @@ FILE: annotationParameters.kt
         }
 
     }
-    public? final? [RAW_FIR] annotation class Anno : R|kotlin/Annotation| {
-        public? [RAW_FIR] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] annotation class Anno : R|kotlin/Annotation| {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
             super<R|kotlin/Any|>()
         }
 
-        public? final? [RAW_FIR] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
             [TYPES] [ContainingClassKey=Anno] public? get(): A.X
 
     }
@@ -154,12 +224,12 @@ FILE: annotationParameters.kt
         }
 
     }
-    public? final? [RAW_FIR] annotation class Anno : R|kotlin/Annotation| {
-        public? [RAW_FIR] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] annotation class Anno : R|kotlin/Annotation| {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
             super<R|kotlin/Any|>()
         }
 
-        public? final? [RAW_FIR] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
             [TYPES] [ContainingClassKey=Anno] public? get(): A.X
 
     }
@@ -189,12 +259,12 @@ FILE: annotationParameters.kt
         }
 
     }
-    public? final? [RAW_FIR] annotation class Anno : R|kotlin/Annotation| {
-        public? [RAW_FIR] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] annotation class Anno : R|kotlin/Annotation| {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
             super<R|kotlin/Any|>()
         }
 
-        public? final? [RAW_FIR] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
             [TYPES] [ContainingClassKey=Anno] public? get(): A.X
 
     }
@@ -224,12 +294,12 @@ FILE: annotationParameters.kt
         }
 
     }
-    public? final? [RAW_FIR] annotation class Anno : R|kotlin/Annotation| {
-        public? [RAW_FIR] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] annotation class Anno : R|kotlin/Annotation| {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
             super<R|kotlin/Any|>()
         }
 
-        public? final? [RAW_FIR] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
             [TYPES] [ContainingClassKey=Anno] public? get(): A.X
 
     }
@@ -260,12 +330,12 @@ FILE: annotationParameters.kt
         }
 
     }
-    public? final? [RAW_FIR] annotation class Anno : R|kotlin/Annotation| {
-        public? [RAW_FIR] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] annotation class Anno : R|kotlin/Annotation| {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=Anno] constructor([RAW_FIR] [CorrespondingProperty=/Anno.args] args: A.X): R|Anno| {
             super<R|kotlin/Any|>()
         }
 
-        public? final? [RAW_FIR] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] [IsFromPrimaryConstructor=true] val args: A.X = R|<local>/args|
             [TYPES] [ContainingClassKey=Anno] public? get(): A.X
 
     }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/annotations.txt b/analysis/low-level-api-fir/testdata/lazyResolve/annotations.txt
index 61fbb8cce40..c321f573ae4 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/annotations.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/annotations.txt
@@ -9,6 +9,16 @@ FILE: annotations.kt
     @FILE:Suppress(String(1))
     @Suppress(String(2)) public? final? [RAW_FIR] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: annotations.kt
+    @FILE:Suppress(String(1))
+    @Suppress(String(2)) public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: annotations.kt
+    @FILE:Suppress(String(1))
+    @Suppress(String(2)) public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: annotations.kt
     @FILE:Suppress(String(1))
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/classMembers.txt b/analysis/low-level-api-fir/testdata/lazyResolve/classMembers.txt
index eed3d21b90a..9c1b335f0d4 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/classMembers.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/classMembers.txt
@@ -35,6 +35,42 @@ FILE: classMembers.kt
 
     }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: classMembers.kt
+    public? final? [RAW_FIR] class A : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+
+        public? final? [RAW_FIR] val x: Int = LAZY_EXPRESSION
+            [RAW_FIR] [ContainingClassKey=A] public? get(): Int { LAZY_BLOCK }
+
+        public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+
+        public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
+
+    }
+
+COMPANION_GENERATION:
+FILE: classMembers.kt
+    public? final? [RAW_FIR] class A : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+
+        public? final? [RAW_FIR] val x: Int = LAZY_EXPRESSION
+            [RAW_FIR] [ContainingClassKey=A] public? get(): Int { LAZY_BLOCK }
+
+        public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+
+        public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
+
+    }
+
 SUPER_TYPES:
 FILE: classMembers.kt
     public? final? [RAW_FIR] class A : R|kotlin/Any| {
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/delegates.txt b/analysis/low-level-api-fir/testdata/lazyResolve/delegates.txt
index df889ba64c7..440e678af9b 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/delegates.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/delegates.txt
@@ -57,6 +57,64 @@ FILE: delegates.kt
             D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
         }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: delegates.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] val delegate: <implicit> = LAZY_EXPRESSION
+        [TYPES] public? get(): <implicit>
+    public? final? [RAW_FIR] val valueWithExplicitType: Intby LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
+        }
+    public? final? [RAW_FIR] val valueWithImplicitType: <implicit>by LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
+        }
+    public? final? [RAW_FIR] var variableWithExplicitType: Intby LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
+        }
+        [RAW_FIR] public? set([RAW_FIR] <set-?>: <implicit>): R|kotlin/Unit| {
+            D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
+        }
+    public? final? [RAW_FIR] var variableWithImplicitType: <implicit>by LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
+        }
+        [RAW_FIR] public? set([RAW_FIR] <set-?>: <implicit>): R|kotlin/Unit| {
+            D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
+        }
+
+COMPANION_GENERATION:
+FILE: delegates.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] val delegate: <implicit> = LAZY_EXPRESSION
+        [TYPES] public? get(): <implicit>
+    public? final? [RAW_FIR] val valueWithExplicitType: Intby LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
+        }
+    public? final? [RAW_FIR] val valueWithImplicitType: <implicit>by LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
+        }
+    public? final? [RAW_FIR] var variableWithExplicitType: Intby LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
+        }
+        [RAW_FIR] public? set([RAW_FIR] <set-?>: <implicit>): R|kotlin/Unit| {
+            D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
+        }
+    public? final? [RAW_FIR] var variableWithImplicitType: <implicit>by LAZY_EXPRESSION
+        [RAW_FIR] public? get(): <implicit> {
+            ^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
+        }
+        [RAW_FIR] public? set([RAW_FIR] <set-?>: <implicit>): R|kotlin/Unit| {
+            D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
+        }
+
 SUPER_TYPES:
 FILE: delegates.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/functionWithParameter.txt b/analysis/low-level-api-fir/testdata/lazyResolve/functionWithParameter.txt
index b8e594ade78..4e67f8321ca 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/functionWithParameter.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/functionWithParameter.txt
@@ -11,6 +11,18 @@ FILE: functionWithParameter.kt
     }
     public? final? [RAW_FIR] fun resolveMe([RAW_FIR] param: I): <implicit> { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: functionWithParameter.kt
+    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    }
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe([RAW_FIR] param: I): <implicit> { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: functionWithParameter.kt
+    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    }
+    public? final? [COMPANION_GENERATION] fun resolveMe([RAW_FIR] param: I): <implicit> { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: functionWithParameter.kt
     public? final? [RAW_FIR] interface I : R|kotlin/Any| {
@@ -19,25 +31,25 @@ FILE: functionWithParameter.kt
 
 TYPES:
 FILE: functionWithParameter.kt
-    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] interface I : R|kotlin/Any| {
     }
     public? final? [TYPES] fun resolveMe([RAW_FIR] param: R|I|): <implicit> { LAZY_BLOCK }
 
 STATUS:
 FILE: functionWithParameter.kt
-    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] interface I : R|kotlin/Any| {
     }
     public final [STATUS] fun resolveMe([RAW_FIR] param: R|I|): <implicit> { LAZY_BLOCK }
 
 ARGUMENTS_OF_ANNOTATIONS:
 FILE: functionWithParameter.kt
-    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] interface I : R|kotlin/Any| {
     }
     public final [ARGUMENTS_OF_ANNOTATIONS] fun resolveMe([RAW_FIR] param: R|I|): <implicit> { LAZY_BLOCK }
 
 CONTRACTS:
 FILE: functionWithParameter.kt
-    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] interface I : R|kotlin/Any| {
     }
     public final [CONTRACTS] fun resolveMe([RAW_FIR] param: R|I|): <implicit> {
         ^resolveMe Unit#
@@ -45,7 +57,7 @@ FILE: functionWithParameter.kt
 
 IMPLICIT_TYPES_BODY_RESOLVE:
 FILE: functionWithParameter.kt
-    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] interface I : R|kotlin/Any| {
     }
     public final [IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe([RAW_FIR] param: R|I|): R|kotlin/Unit| {
         ^resolveMe Q|kotlin/Unit|
@@ -53,7 +65,7 @@ FILE: functionWithParameter.kt
 
 BODY_RESOLVE:
 FILE: functionWithParameter.kt
-    public? final? [RAW_FIR] interface I : R|kotlin/Any| {
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] interface I : R|kotlin/Any| {
     }
     public final [BODY_RESOLVE] fun resolveMe([BODY_RESOLVE] param: R|I|): R|kotlin/Unit| {
         ^resolveMe Q|kotlin/Unit|
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/parameterOfNonLocalSetter.txt b/analysis/low-level-api-fir/testdata/lazyResolve/parameterOfNonLocalSetter.txt
index 08c759d4c68..da744753757 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/parameterOfNonLocalSetter.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/parameterOfNonLocalSetter.txt
@@ -25,6 +25,32 @@ FILE: parameterOfNonLocalSetter.kt
 
     }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: parameterOfNonLocalSetter.kt
+    public? final? [RAW_FIR] class X : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=X] constructor(): R|X| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] var x: Int = LAZY_EXPRESSION
+            [TYPES] [ContainingClassKey=X] public? get(): Int
+            [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=X] public? set([RAW_FIR] resolveMe: Int): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
+
+COMPANION_GENERATION:
+FILE: parameterOfNonLocalSetter.kt
+    public? final? [RAW_FIR] class X : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=X] constructor(): R|X| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [COMPANION_GENERATION] var x: Int = LAZY_EXPRESSION
+            [TYPES] [ContainingClassKey=X] public? get(): Int
+            [COMPANION_GENERATION] [ContainingClassKey=X] public? set([RAW_FIR] resolveMe: Int): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
+
 SUPER_TYPES:
 FILE: parameterOfNonLocalSetter.kt
     public? final? [RAW_FIR] class X : R|kotlin/Any| {
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetter.txt b/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetter.txt
index 36d92f3a106..22ab33ea789 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetter.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetter.txt
@@ -13,6 +13,20 @@ FILE: propertyWithGetter.kt
     public? final? [RAW_FIR] val withGetter: Int
         [RAW_FIR] public? get(): Int { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: propertyWithGetter.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] val withGetter: Int
+        [RAW_FIR] public? get(): Int { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: propertyWithGetter.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] val withGetter: Int
+        [RAW_FIR] public? get(): Int { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: propertyWithGetter.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetterAndSetter.txt b/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetterAndSetter.txt
index 1e675e21740..06680c13261 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetterAndSetter.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithGetterAndSetter.txt
@@ -15,6 +15,22 @@ FILE: propertyWithGetterAndSetter.kt
         [RAW_FIR] public? get(): Int { LAZY_BLOCK }
         [RAW_FIR] public? set([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: propertyWithGetterAndSetter.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] var withGetterAndSetter: Int = LAZY_EXPRESSION
+        [RAW_FIR] public? get(): Int { LAZY_BLOCK }
+        [RAW_FIR] public? set([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: propertyWithGetterAndSetter.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] var withGetterAndSetter: Int = LAZY_EXPRESSION
+        [RAW_FIR] public? get(): Int { LAZY_BLOCK }
+        [RAW_FIR] public? set([RAW_FIR] value: Int): R|kotlin/Unit| { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: propertyWithGetterAndSetter.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithInitializer.txt b/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithInitializer.txt
index 90b0661fb38..412c452f4d7 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithInitializer.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/propertyWithInitializer.txt
@@ -11,6 +11,18 @@ FILE: propertyWithInitializer.kt
     public? final? [RAW_FIR] val property: Int = LAZY_EXPRESSION
         [TYPES] public? get(): Int
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: propertyWithInitializer.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] val property: Int = LAZY_EXPRESSION
+        [TYPES] public? get(): Int
+
+COMPANION_GENERATION:
+FILE: propertyWithInitializer.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] val property: Int = LAZY_EXPRESSION
+        [TYPES] public? get(): Int
+
 SUPER_TYPES:
 FILE: propertyWithInitializer.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/secondaryConstructor.txt b/analysis/low-level-api-fir/testdata/lazyResolve/secondaryConstructor.txt
index d434cc7fa2a..116e5b818db 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/secondaryConstructor.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/secondaryConstructor.txt
@@ -23,6 +23,30 @@ FILE: secondaryConstructor.kt
 
     }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: secondaryConstructor.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: A): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] class A : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=A] constructor([RAW_FIR] x: Int): R|A| {
+            super<R|kotlin/Any|>()
+            [RAW_FIR] lval a: <implicit> = x#
+        }
+
+    }
+
+COMPANION_GENERATION:
+FILE: secondaryConstructor.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: A): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] class A : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=A] constructor([RAW_FIR] x: Int): R|A| {
+            super<R|kotlin/Any|>()
+            [RAW_FIR] lval a: <implicit> = x#
+        }
+
+    }
+
 SUPER_TYPES:
 FILE: secondaryConstructor.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/superTypes.txt b/analysis/low-level-api-fir/testdata/lazyResolve/superTypes.txt
index 1c3bffe35ea..253b00fc136 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/superTypes.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/superTypes.txt
@@ -41,7 +41,7 @@ FILE: superTypes.kt
 
     }
 
-SUPER_TYPES:
+COMPILER_REQUIRED_ANNOTATIONS:
 FILE: superTypes.kt
     public? open [RAW_FIR] class A : R|kotlin/Any| {
         public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
@@ -54,6 +54,48 @@ FILE: superTypes.kt
             super<A>()
         }
 
+    }
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class resolveMe : A {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
+            super<A>()
+        }
+
+    }
+
+COMPANION_GENERATION:
+FILE: superTypes.kt
+    public? open [RAW_FIR] class A : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    public? open [RAW_FIR] class B : A {
+        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+            super<A>()
+        }
+
+    }
+    public? open [COMPANION_GENERATION] class resolveMe : A {
+        public? [COMPANION_GENERATION] [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
+            super<A>()
+        }
+
+    }
+
+SUPER_TYPES:
+FILE: superTypes.kt
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : R|kotlin/Any| {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    public? open [RAW_FIR] class B : A {
+        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+            super<A>()
+        }
+
     }
     public? open [SUPER_TYPES] class resolveMe : R|A| {
         public? [SUPER_TYPES] [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/superTypesLoop.txt b/analysis/low-level-api-fir/testdata/lazyResolve/superTypesLoop.txt
index 1aec06a3044..0223cae6bd8 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/superTypesLoop.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/superTypesLoop.txt
@@ -53,6 +53,60 @@ FILE: superTypesLoop.kt
 
     }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: superTypesLoop.kt
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class resolveMe : C {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
+            super<C>()
+        }
+
+    }
+    public? open [RAW_FIR] class A : B {
+        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+            super<B>()
+        }
+
+    }
+    public? open [RAW_FIR] class B : C {
+        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+            super<C>()
+        }
+
+    }
+    public? open [RAW_FIR] class C : A {
+        public? [RAW_FIR] [ContainingClassKey=C] constructor(): R|C| {
+            super<A>()
+        }
+
+    }
+
+COMPANION_GENERATION:
+FILE: superTypesLoop.kt
+    public? open [COMPANION_GENERATION] class resolveMe : C {
+        public? [COMPANION_GENERATION] [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
+            super<C>()
+        }
+
+    }
+    public? open [RAW_FIR] class A : B {
+        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+            super<B>()
+        }
+
+    }
+    public? open [RAW_FIR] class B : C {
+        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+            super<C>()
+        }
+
+    }
+    public? open [RAW_FIR] class C : A {
+        public? [RAW_FIR] [ContainingClassKey=C] constructor(): R|C| {
+            super<A>()
+        }
+
+    }
+
 SUPER_TYPES:
 FILE: superTypesLoop.kt
     public? open [SUPER_TYPES] class resolveMe : R|C| {
@@ -61,20 +115,20 @@ FILE: superTypesLoop.kt
         }
 
     }
-    public? open [RAW_FIR] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
-        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
             super<B>()
         }
 
     }
-    public? open [RAW_FIR] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
-        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=B] constructor(): R|B| {
             super<C>()
         }
 
     }
-    public? open [RAW_FIR] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
-        public? [RAW_FIR] [ContainingClassKey=C] constructor(): R|C| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=C] constructor(): R|C| {
             super<A>()
         }
 
@@ -88,14 +142,14 @@ FILE: superTypesLoop.kt
         }
 
     }
-    public? open [RAW_FIR] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
-        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
             super<B>()
         }
 
     }
-    public? open [RAW_FIR] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
-        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=B] constructor(): R|B| {
             super<C>()
         }
 
@@ -115,14 +169,14 @@ FILE: superTypesLoop.kt
         }
 
     }
-    public? open [RAW_FIR] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
-        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
             super<B>()
         }
 
     }
-    public? open [RAW_FIR] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
-        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=B] constructor(): R|B| {
             super<C>()
         }
 
@@ -142,14 +196,14 @@ FILE: superTypesLoop.kt
         }
 
     }
-    public? open [RAW_FIR] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
-        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
             super<B>()
         }
 
     }
-    public? open [RAW_FIR] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
-        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=B] constructor(): R|B| {
             super<C>()
         }
 
@@ -169,14 +223,14 @@ FILE: superTypesLoop.kt
         }
 
     }
-    public? open [RAW_FIR] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
-        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
             super<B>()
         }
 
     }
-    public? open [RAW_FIR] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
-        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=B] constructor(): R|B| {
             super<C>()
         }
 
@@ -196,14 +250,14 @@ FILE: superTypesLoop.kt
         }
 
     }
-    public? open [RAW_FIR] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
-        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
             super<B>()
         }
 
     }
-    public? open [RAW_FIR] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
-        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=B] constructor(): R|B| {
             super<C>()
         }
 
@@ -223,14 +277,14 @@ FILE: superTypesLoop.kt
         }
 
     }
-    public? open [RAW_FIR] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
-        public? [RAW_FIR] [ContainingClassKey=A] constructor(): R|A| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=A] constructor(): R|A| {
             super<B>()
         }
 
     }
-    public? open [RAW_FIR] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
-        public? [RAW_FIR] [ContainingClassKey=B] constructor(): R|B| {
+    public? open [COMPILER_REQUIRED_ANNOTATIONS] class B : <ERROR TYPE REF: Loop in supertype: /B -> /C> {
+        public? [COMPILER_REQUIRED_ANNOTATIONS] [ContainingClassKey=B] constructor(): R|B| {
             super<C>()
         }
 
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctions.txt b/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctions.txt
index 9831fa7f438..461719320fe 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctions.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctions.txt
@@ -11,6 +11,18 @@ FILE: topLevelFunctions.kt
     public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
     public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: topLevelFunctions.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: topLevelFunctions.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: topLevelFunctions.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithExpressionBodyAndExplicitType.txt b/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithExpressionBodyAndExplicitType.txt
index 1e82b5915e7..cf51e962e91 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithExpressionBodyAndExplicitType.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithExpressionBodyAndExplicitType.txt
@@ -11,6 +11,18 @@ FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
     public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
     public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun functionWithLazyBody(): String { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithImplicitType.txt b/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithImplicitType.txt
index 0e5992858b2..2480f8ad7b5 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithImplicitType.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/topLevelFunctionsWithImplicitType.txt
@@ -11,6 +11,18 @@ FILE: topLevelFunctionsWithImplicitType.kt
     public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
     public? final? [RAW_FIR] fun functionWithLazyBody(): <implicit> { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: topLevelFunctionsWithImplicitType.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun functionWithLazyBody(): <implicit> { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: topLevelFunctionsWithImplicitType.kt
+    public? final? [COMPANION_GENERATION] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun receive([RAW_FIR] value: String): R|kotlin/Unit| { LAZY_BLOCK }
+    public? final? [RAW_FIR] fun functionWithLazyBody(): <implicit> { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: topLevelFunctionsWithImplicitType.kt
     public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfNonLocalFunction.txt b/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfNonLocalFunction.txt
index 0ead9cb0712..ceb21d72333 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfNonLocalFunction.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfNonLocalFunction.txt
@@ -21,6 +21,28 @@ FILE: typeParameterOfNonLocalFunction.kt
 
     }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: typeParameterOfNonLocalFunction.kt
+    public? final? [RAW_FIR] class X : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=X] constructor(): R|X| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun <resolveMe> ddd(): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
+
+COMPANION_GENERATION:
+FILE: typeParameterOfNonLocalFunction.kt
+    public? final? [RAW_FIR] class X : R|kotlin/Any| {
+        public? [RAW_FIR] [ContainingClassKey=X] constructor(): R|X| {
+            super<R|kotlin/Any|>()
+        }
+
+        public? final? [COMPANION_GENERATION] fun <resolveMe> ddd(): R|kotlin/Unit| { LAZY_BLOCK }
+
+    }
+
 SUPER_TYPES:
 FILE: typeParameterOfNonLocalFunction.kt
     public? final? [RAW_FIR] class X : R|kotlin/Any| {
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopFunction.txt b/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopFunction.txt
index e7d5da1b8af..36c6b16b6fb 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopFunction.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopFunction.txt
@@ -7,6 +7,14 @@ IMPORTS:
 FILE: typeParameterOfTopFunction.kt
     public? final? [RAW_FIR] fun <resolveMe> ddd(): R|kotlin/Unit| { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: typeParameterOfTopFunction.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] fun <resolveMe> ddd(): R|kotlin/Unit| { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: typeParameterOfTopFunction.kt
+    public? final? [COMPANION_GENERATION] fun <resolveMe> ddd(): R|kotlin/Unit| { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: typeParameterOfTopFunction.kt
     public? final? [SUPER_TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| { LAZY_BLOCK }
diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopSetter.txt b/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopSetter.txt
index c9ecba949b5..eabf784c10f 100644
--- a/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopSetter.txt
+++ b/analysis/low-level-api-fir/testdata/lazyResolve/typeParameterOfTopSetter.txt
@@ -11,6 +11,18 @@ FILE: typeParameterOfTopSetter.kt
         [TYPES] public? get(): Int
         [RAW_FIR] public? set([RAW_FIR] resolveMe: Int): R|kotlin/Unit| { LAZY_BLOCK }
 
+COMPILER_REQUIRED_ANNOTATIONS:
+FILE: typeParameterOfTopSetter.kt
+    public? final? [COMPILER_REQUIRED_ANNOTATIONS] var x: Int = LAZY_EXPRESSION
+        [TYPES] public? get(): Int
+        [COMPILER_REQUIRED_ANNOTATIONS] public? set([RAW_FIR] resolveMe: Int): R|kotlin/Unit| { LAZY_BLOCK }
+
+COMPANION_GENERATION:
+FILE: typeParameterOfTopSetter.kt
+    public? final? [COMPANION_GENERATION] var x: Int = LAZY_EXPRESSION
+        [TYPES] public? get(): Int
+        [COMPANION_GENERATION] public? set([RAW_FIR] resolveMe: Int): R|kotlin/Unit| { LAZY_BLOCK }
+
 SUPER_TYPES:
 FILE: typeParameterOfTopSetter.kt
     public? final? [SUPER_TYPES] var x: Int = LAZY_EXPRESSION