diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.after.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.after.txt
index 0283e22cbe6..a7194a95c83 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.after.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.after.txt
@@ -18,15 +18,15 @@
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirRegularClassSymbol second/SubClass]
 
-@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>
+@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
-@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>
+@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
-@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>
+@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirRegularClassSymbol second/SubClass, FirPropertySymbol second/AbstractClass.resolveMe]
 
@@ -38,11 +38,11 @@
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirRegularClassSymbol second/SubClass]
 
-@R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>
+@R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
-@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F
+@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
@@ -107,7 +107,7 @@
   anchor -> [FirRegularClassSymbol second/SubClass]
 
 
-TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(STATUS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|
+TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(STATUS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|
     @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|
     @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|): R|kotlin/Unit|
 FILE: [ResolvedTo(IMPORTS)] propertyUnavailable.kt
@@ -137,7 +137,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailable.kt
             LAZY_super<R|kotlin/Any|>
         }
 
-        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] set([ResolvedTo(ANNOTATION_ARGUMENTS)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.lazyResolve.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.lazyResolve.txt
index 91fa2fcf0ea..9ea1e6ecf33 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.lazyResolve.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailable.lazyResolve.txt
@@ -191,7 +191,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailable.kt
     }
 
 ANNOTATION_ARGUMENTS:
-TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
+TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(ANNOTATION_ARGUMENTS)] value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|): R|kotlin/Unit|
 
@@ -222,7 +222,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailable.kt
             LAZY_super<R|kotlin/Any|>
         }
 
-        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] set([ResolvedTo(ANNOTATION_ARGUMENTS)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
@@ -239,7 +239,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailable.kt
     }
 
 BODY_RESOLVE:
-TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
+TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|): R|kotlin/Unit|
 
@@ -270,7 +270,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailable.kt
             LAZY_super<R|kotlin/Any|>
         }
 
-        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] set([ResolvedTo(ANNOTATION_ARGUMENTS)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
@@ -314,7 +314,7 @@ FILE: [ResolvedTo(BODY_RESOLVE)] propertyUnavailable.kt
             super<R|kotlin/Any|>()
         }
 
-        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+        @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
             @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=AbstractClass] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.after.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.after.txt
index 4d919c10dee..84bcd8cb074 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.after.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.after.txt
@@ -18,15 +18,15 @@
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirRegularClassSymbol second/SubClass]
 
-@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>
+@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
-@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>
+@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
-@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>
+@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirRegularClassSymbol second/SubClass, FirPropertySymbol second/AbstractClass.resolveMe]
 
@@ -38,11 +38,11 @@
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirRegularClassSymbol second/SubClass]
 
-@R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>
+@R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
-@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F
+@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F
   context -> FirPropertySymbol second/SubClass.resolveMe
   anchor -> [FirPropertySymbol second/AbstractClass.resolveMe]
 
@@ -107,7 +107,7 @@
   anchor -> [FirRegularClassSymbol second/SubClass]
 
 
-TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(STATUS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|
+TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(STATUS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(STATUS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|
     @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|
     @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(STATUS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(STATUS)] value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), <Unresolved name: constant>#))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), <Unresolved name: constant>#))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), <Unresolved name: constant>#))  kotlin/String>>>>|): R|kotlin/Unit|
 FILE: [ResolvedTo(IMPORTS)] propertyUnavailableScript.kts
@@ -144,7 +144,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailableScript.kts
                 LAZY_super<R|kotlin/Any|>
             }
 
-            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] set([ResolvedTo(ANNOTATION_ARGUMENTS)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
@@ -159,3 +159,4 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailableScript.kts
             }
 
         }
+
diff --git a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.lazyResolve.txt b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.lazyResolve.txt
index eafd3a9250f..6723ccde4e1 100644
--- a/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.lazyResolve.txt
+++ b/analysis/low-level-api-fir/testData/lazyResolveTypeAnnotations/substitutionOverride/propertyUnavailableScript.lazyResolve.txt
@@ -223,7 +223,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailableScript.kts
 
 
 ANNOTATION_ARGUMENTS:
-TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
+TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(ANNOTATION_ARGUMENTS)] value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|): R|kotlin/Unit|
 
@@ -261,7 +261,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailableScript.kts
                 LAZY_super<R|kotlin/Any|>
             }
 
-            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] set([ResolvedTo(ANNOTATION_ARGUMENTS)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
@@ -279,7 +279,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailableScript.kts
 
 
 BODY_RESOLVE:
-TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
+TARGET: @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] [SubstitutedOverrideOriginalKey=second/AbstractClass.resolveMe] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|
     @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=SubClass, SubstitutedOverrideOriginalKey=special/accessor] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  @R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested type argument: ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant<HIDDEN: second/AbstractClass.Companion.constant is invisible>#|))  kotlin/String>>>>|): R|kotlin/Unit|
 
@@ -317,7 +317,7 @@ FILE: [ResolvedTo(IMPORTS)] propertyUnavailableScript.kts
                 LAZY_super<R|kotlin/Any|>
             }
 
-            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(ANNOTATION_ARGUMENTS)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(ANNOTATION_ARGUMENTS)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=AbstractClass] set([ResolvedTo(ANNOTATION_ARGUMENTS)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
@@ -369,7 +369,7 @@ FILE: [ResolvedTo(BODY_RESOLVE)] propertyUnavailableScript.kts
                 super<R|kotlin/Any|>()
             }
 
-            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), <Unresolved name: constant>#)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), <Unresolved name: constant>#))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), <Unresolved name: constant>#))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), <Unresolved name: constant>#))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), <Unresolved name: constant>#))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
+            @PROPERTY:R|second/Anno|[Types](position = <strcat>(String(property ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public abstract [ResolvedTo(BODY_RESOLVE)] var <@R|second/Anno|[Types](position = <strcat>(String(type param ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) [ResolvedTo(BODY_RESOLVE)] F : R|@R|second/Anno|(position = <strcat>(String(bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested bound ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|> @RECEIVER:R|second/Anno|[Types](position = <strcat>(String(receiver ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) R|@R|second/Anno|(position = <strcat>(String(receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  second/Pair<@R|second/Anno|(position = <strcat>(String(nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested left receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>, @R|second/Anno|(position = <strcat>(String(nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested nested right receiver type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  F>>|.resolveMe: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_GETTER:R|second/Anno|[Types](position = <strcat>(String(get ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=AbstractClass] get(): R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|
                 @PROPERTY_SETTER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=AbstractClass] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|second/Anno|[Types](position = <strcat>(String(set ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|)) value: R|@R|second/Anno|(position = <strcat>(String(return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/List<@R|second/Anno|(position = <strcat>(String(nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  kotlin/collections/Collection<@R|second/Anno|(position = <strcat>(String(nested nested return type ), this@R|second/AbstractClass.Companion|.R|second/AbstractClass.Companion.constant|))  T>>|): R|kotlin/Unit|
 
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirAbstractBodyResolveTransformerDispatcher.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirAbstractBodyResolveTransformerDispatcher.kt
index 2f784dc3d82..2a0d3beeca9 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirAbstractBodyResolveTransformerDispatcher.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirAbstractBodyResolveTransformerDispatcher.kt
@@ -424,6 +424,15 @@ abstract class FirAbstractBodyResolveTransformerDispatcher(
         FirDeclarationsResolveTransformer::transformEnumEntry,
     )
 
+    override fun transformDanglingModifierList(
+        danglingModifierList: FirDanglingModifierList,
+        data: ResolutionMode,
+    ): FirDanglingModifierList = declarationTransformation(
+        danglingModifierList,
+        data,
+        FirDeclarationsResolveTransformer::transformDanglingModifierList,
+    )
+
     override fun transformProperty(
         property: FirProperty,
         data: ResolutionMode,
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt
index 699a0d2b6df..2a60ff1d5a3 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt
@@ -111,6 +111,11 @@ open class FirDeclarationsResolveTransformer(
         }
     }
 
+    override fun transformDanglingModifierList(
+        danglingModifierList: FirDanglingModifierList,
+        data: ResolutionMode
+    ): FirDanglingModifierList = danglingModifierList
+
     override fun transformProperty(property: FirProperty, data: ResolutionMode): FirProperty = whileAnalysing(session, property) {
         require(property !is FirSyntheticProperty) { "Synthetic properties should not be processed by body transformers" }
 
@@ -682,6 +687,7 @@ open class FirDeclarationsResolveTransformer(
     }
 
     override fun transformTypeAlias(typeAlias: FirTypeAlias, data: ResolutionMode): FirTypeAlias = whileAnalysing(session, typeAlias) {
+        if (implicitTypeOnly) return typeAlias
         if (typeAlias.isLocal && typeAlias !in context.targetedLocalClasses) {
             return typeAlias.runAllPhasesForLocalClass(transformer, components, data, transformer.firResolveContextCollector)
         }
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/plugin/FirAnnotationArgumentsTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/plugin/FirAnnotationArgumentsTransformer.kt
index e361fb56eb3..f3bd0bc9c3d 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/plugin/FirAnnotationArgumentsTransformer.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/plugin/FirAnnotationArgumentsTransformer.kt
@@ -207,7 +207,11 @@ private class FirDeclarationsResolveTransformerForAnnotationArguments(
         anonymousInitializer: FirAnonymousInitializer,
         data: ResolutionMode
     ): FirAnonymousInitializer {
-        anonymousInitializer.transformAnnotations(this, ResolutionMode.ContextIndependent)
+        @OptIn(PrivateForInline::class)
+        context.withContainer(anonymousInitializer) {
+            anonymousInitializer.transformAnnotations(this, ResolutionMode.ContextIndependent)
+        }
+
         return anonymousInitializer
     }
 
@@ -260,8 +264,6 @@ private class FirDeclarationsResolveTransformerForAnnotationArguments(
     }
 
     override fun transformProperty(property: FirProperty, data: ResolutionMode): FirProperty {
-        property.transformReceiverParameter(transformer, ResolutionMode.ContextIndependent)
-
         context.withProperty(property) {
             property
                 .transformTypeParameters(transformer, data)
@@ -320,14 +322,30 @@ private class FirDeclarationsResolveTransformerForAnnotationArguments(
     }
 
     override fun transformTypeAlias(typeAlias: FirTypeAlias, data: ResolutionMode): FirTypeAlias {
-        doTransformTypeParameters(typeAlias)
-        typeAlias.transformAnnotations(transformer, data)
-        transformer.firResolveContextCollector?.addDeclarationContext(typeAlias, context)
-        typeAlias.expandedTypeRef.transformSingle(transformer, data)
+        @OptIn(PrivateForInline::class)
+        context.withContainer(typeAlias) {
+            doTransformTypeParameters(typeAlias)
+            typeAlias.transformAnnotations(transformer, data)
+            transformer.firResolveContextCollector?.addDeclarationContext(typeAlias, context)
+            typeAlias.expandedTypeRef.transformSingle(transformer, data)
+        }
+
         return typeAlias
     }
 
     override fun transformScript(script: FirScript, data: ResolutionMode): FirScript {
         return script
     }
+
+    override fun transformDanglingModifierList(
+        danglingModifierList: FirDanglingModifierList,
+        data: ResolutionMode
+    ): FirDanglingModifierList {
+        @OptIn(PrivateForInline::class)
+        context.withContainer(danglingModifierList) {
+            danglingModifierList.transformAnnotations(transformer, data)
+        }
+
+        return danglingModifierList
+    }
 }
diff --git a/compiler/testData/diagnostics/tests/annotations/danglingAnnotation.fir.kt b/compiler/testData/diagnostics/tests/annotations/danglingAnnotation.fir.kt
deleted file mode 100644
index e9e3a1bb330..00000000000
--- a/compiler/testData/diagnostics/tests/annotations/danglingAnnotation.fir.kt
+++ /dev/null
@@ -1,9 +0,0 @@
-annotation class Anno(val position: String)
-
-interface OriginalInterface {
-    companion object {
-        private const val prop = 0
-    }
-
-    @Anno("dangling $<!UNRESOLVED_REFERENCE!>prop<!>")<!SYNTAX!><!>
-}
diff --git a/compiler/testData/diagnostics/tests/annotations/danglingAnnotation.kt b/compiler/testData/diagnostics/tests/annotations/danglingAnnotation.kt
index f146923dacc..70aa9abb148 100644
--- a/compiler/testData/diagnostics/tests/annotations/danglingAnnotation.kt
+++ b/compiler/testData/diagnostics/tests/annotations/danglingAnnotation.kt
@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 annotation class Anno(val position: String)
 
 interface OriginalInterface {
diff --git a/compiler/testData/diagnostics/tests/annotations/initializerWithNestedAnnotation.fir.kt b/compiler/testData/diagnostics/tests/annotations/initializerWithNestedAnnotation.fir.kt
deleted file mode 100644
index fd15fd9b311..00000000000
--- a/compiler/testData/diagnostics/tests/annotations/initializerWithNestedAnnotation.fir.kt
+++ /dev/null
@@ -1,11 +0,0 @@
-annotation class Anno(val position: String)
-
-class MyClass {
-    <!WRONG_ANNOTATION_TARGET!>@Anno("init $<!UNRESOLVED_REFERENCE!>prop<!>")<!> init {
-
-    }
-
-    companion object {
-        private const val prop = 0
-    }
-}
diff --git a/compiler/testData/diagnostics/tests/annotations/initializerWithNestedAnnotation.kt b/compiler/testData/diagnostics/tests/annotations/initializerWithNestedAnnotation.kt
index 00493f58911..de3a7bb31af 100644
--- a/compiler/testData/diagnostics/tests/annotations/initializerWithNestedAnnotation.kt
+++ b/compiler/testData/diagnostics/tests/annotations/initializerWithNestedAnnotation.kt
@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 annotation class Anno(val position: String)
 
 class MyClass {
diff --git a/compiler/testData/diagnostics/tests/annotations/nestedAliasWithNestedAnnotation.fir.kt b/compiler/testData/diagnostics/tests/annotations/nestedAliasWithNestedAnnotation.fir.kt
deleted file mode 100644
index 43f4d511b9f..00000000000
--- a/compiler/testData/diagnostics/tests/annotations/nestedAliasWithNestedAnnotation.fir.kt
+++ /dev/null
@@ -1,11 +0,0 @@
-@Target(AnnotationTarget.TYPE, AnnotationTarget.TYPEALIAS, AnnotationTarget.TYPE_PARAMETER)
-annotation class Anno(val position: String)
-
-interface OriginalInterface<T> {
-    <!TOPLEVEL_TYPEALIASES_ONLY!>@Anno("alias $<!UNRESOLVED_REFERENCE!>prop<!>")
-    typealias NestedTypeAlias <@Anno("type param $<!UNRESOLVED_REFERENCE!>prop<!>") A : <!BOUND_ON_TYPE_ALIAS_PARAMETER_NOT_ALLOWED!>@Anno("bound $<!UNRESOLVED_REFERENCE!>prop<!>") Number<!>> = @Anno("type $<!UNRESOLVED_REFERENCE!>prop<!>") OriginalInterface<A><!>
-
-    companion object {
-        private const val prop = 0
-    }
-}
diff --git a/compiler/testData/diagnostics/tests/annotations/nestedAliasWithNestedAnnotation.kt b/compiler/testData/diagnostics/tests/annotations/nestedAliasWithNestedAnnotation.kt
index b36aff99fc5..5e1a5d26b7e 100644
--- a/compiler/testData/diagnostics/tests/annotations/nestedAliasWithNestedAnnotation.kt
+++ b/compiler/testData/diagnostics/tests/annotations/nestedAliasWithNestedAnnotation.kt
@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 @Target(AnnotationTarget.TYPE, AnnotationTarget.TYPEALIAS, AnnotationTarget.TYPE_PARAMETER)
 annotation class Anno(val position: String)
 
diff --git a/compiler/testData/diagnostics/tests/annotations/typeParameterAnnotations.fir.kt b/compiler/testData/diagnostics/tests/annotations/typeParameterAnnotations.fir.kt
index be9b358b3e7..389086ba89d 100644
--- a/compiler/testData/diagnostics/tests/annotations/typeParameterAnnotations.fir.kt
+++ b/compiler/testData/diagnostics/tests/annotations/typeParameterAnnotations.fir.kt
@@ -7,7 +7,7 @@ annotation class Anno(val position: String)
 interface OriginalInterface {
     @Anno("explicitType $prop")
     fun <@Anno("type param $prop") F : @Anno("bound $prop") List<@Anno("nested bound $prop") List<@Anno("nested nested bound $prop") String>>> @receiver:Anno("receiver annotation: $prop") @Anno("receiver type $prop") Collection<@Anno("nested receiver type $prop") List<@Anno("nested nested receiver type $prop")String>>.explicitType(@Anno("parameter annotation $prop") param: @Anno("parameter type $prop") ListIterator<@Anno("nested parameter type $prop") List<@Anno("nested nested parameter type $prop")String>>): @Anno("explicitType return type $prop") List<@Anno("explicitType nested return type $prop") List<@Anno("explicitType nested nested return type $prop") Int>> = emptyList()
-    val <@Anno("type param $prop") F : @Anno("bound $prop") Number> @receiver:Anno("receiver annotation: $<!UNRESOLVED_REFERENCE!>prop<!>") @Anno("receiver type $<!UNRESOLVED_REFERENCE!>prop<!>") F.explicitType: @Anno("bound $prop") Int get() = 1
+    val <@Anno("type param $prop") F : @Anno("bound $prop") Number> @receiver:Anno("receiver annotation: $prop") @Anno("receiver type $prop") F.explicitType: @Anno("bound $prop") Int get() = 1
 
     companion object {
         private const val prop = 0