[FIR] Use tower to resolve delegated constructors, set dispatch receiver

compiler/fir/analysis-tests/testData/resolve/objectInnerClass.txt

@@ -6,7 +6,7 @@ FILE: objectInnerClass.kt
 
         local final inner class Child : R|<anonymous>.Base| {
             public[local] constructor(property: R|B|): R|<anonymous>.Child| {
-                super<R|<anonymous>.Base|>(R|<local>/property|)
+                this@R|/anonymous|.super<R|<anonymous>.Base|>(R|<local>/property|)
             }
 
             public[local] final fun R|<anonymous>.Base|.zoo(): R|kotlin/Unit| {
@@ -69,7 +69,7 @@ FILE: objectInnerClass.kt
 
         public final val x: R|anonymous| = object : R|Case2.Base| {
             private constructor(): R|anonymous| {
-                super<R|Case2.Base|>(R|/B.B|())
+                this@R|/Case2|.super<R|Case2.Base|>(R|/B.B|())
             }
 
             public[local] final fun R|Case2.Base|.zoo(): R|kotlin/Unit| {
@@ -131,7 +131,7 @@ FILE: objectInnerClass.kt
 
             local final inner class Child : R|Case3.<anonymous>.Base| {
                 public[local] constructor(property: R|B|): R|Case3.<anonymous>.Child| {
-                    super<R|Case3.<anonymous>.Base|>(R|<local>/property|)
+                    this@R|/anonymous|.super<R|Case3.<anonymous>.Base|>(R|<local>/property|)
                 }
 
                 public[local] final fun R|Case3.<anonymous>.Base|.zoo(): R|kotlin/Unit| {

compiler/fir/analysis-tests/testData/resolve/problems/objectDerivedFromInnerClass.kt

@@ -0,0 +1,4 @@
+class Outer { inner class Inner }
+fun test() {
+    val x = object : <!UNRESOLVED_REFERENCE!>Outer.Inner<!>() { }
+}

compiler/fir/analysis-tests/testData/resolve/problems/objectDerivedFromInnerClass.txt

@@ -0,0 +1,23 @@
+FILE: objectDerivedFromInnerClass.kt
+    public final class Outer : R|kotlin/Any| {
+        public constructor(): R|Outer| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final inner class Inner : R|kotlin/Any| {
+            public constructor(): R|Outer.Inner| {
+                super<R|kotlin/Any|>()
+            }
+
+        }
+
+    }
+    public final fun test(): R|kotlin/Unit| {
+        lval x: R|anonymous| = object : R|Outer.Inner| {
+            private constructor(): R|anonymous| {
+                super<R|Outer.Inner|>()
+            }
+
+        }
+
+    }

compiler/fir/analysis-tests/testData/resolve/typeParameterVsNested.kt

@@ -13,7 +13,7 @@ abstract class My<T : Some> {
 
     abstract val z: test.My.T
 
-    class Some : T()
+    class Some : <!UNRESOLVED_REFERENCE!>T<!>()
 }
 
 abstract class Your<T : Some> : <!OTHER_ERROR!>T<!>

compiler/fir/analysis-tests/testData/resolve/visibility/exposedSupertype.kt

@@ -38,9 +38,9 @@ interface E {
 
 }
 
-class Test2 : A.APublicI, B.BInner {
+<!UNRESOLVED_REFERENCE!>class Test2 : A.APublicI, B.BInner {
 
-}
+}<!>
 
 class Test3 : C.CPublicI, <!EXPOSED_SUPER_CLASS!>C<!> {
 
@@ -50,9 +50,9 @@ class Test4 : E, A.AProtectedI {
 
 }
 
-class Test5 : C.CPublicI, B.BInner {
+<!UNRESOLVED_REFERENCE!>class Test5 : C.CPublicI, B.BInner {
 
-}
+}<!>
 
 class Test6 : E, <!EXPOSED_SUPER_CLASS!>C.CPublic<!> {
 

compiler/fir/analysis-tests/testData/resolveWithStdlib/j+k/outerInnerClasses.txt

@@ -31,7 +31,7 @@ FILE: K2.kt
 
         public final inner class K3 : R|J1.J2| {
             public constructor(): R|K2.K3| {
-                super<R|J1.J2|>()
+                this@R|/K2|.super<R|J1.J2|>()
             }
 
             public final fun main(): R|kotlin/Unit| {

compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java

@@ -1664,6 +1664,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest {
             runTest("compiler/fir/analysis-tests/testData/resolve/problems/multipleJavaClassesInOneFile.kt");
         }
 
+        @TestMetadata("objectDerivedFromInnerClass.kt")
+        public void testObjectDerivedFromInnerClass() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/problems/objectDerivedFromInnerClass.kt");
+        }
+
         @TestMetadata("safeCallInvoke.kt")
         public void testSafeCallInvoke() throws Exception {
             runTest("compiler/fir/analysis-tests/testData/resolve/problems/safeCallInvoke.kt");

compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java

@@ -1664,6 +1664,11 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
             runTest("compiler/fir/analysis-tests/testData/resolve/problems/multipleJavaClassesInOneFile.kt");
         }
 
+        @TestMetadata("objectDerivedFromInnerClass.kt")
+        public void testObjectDerivedFromInnerClass() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolve/problems/objectDerivedFromInnerClass.kt");
+        }
+
         @TestMetadata("safeCallInvoke.kt")
         public void testSafeCallInvoke() throws Exception {
             runTest("compiler/fir/analysis-tests/testData/resolve/problems/safeCallInvoke.kt");

compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/generators/ClassMemberGenerator.kt

@@ -12,6 +12,7 @@ import org.jetbrains.kotlin.fir.declarations.impl.FirDefaultPropertyGetter
 import org.jetbrains.kotlin.fir.declarations.impl.FirDefaultPropertySetter
 import org.jetbrains.kotlin.fir.expressions.FirDelegatedConstructorCall
 import org.jetbrains.kotlin.fir.expressions.FirExpression
+import org.jetbrains.kotlin.fir.expressions.impl.FirNoReceiverExpression
 import org.jetbrains.kotlin.fir.references.FirResolvedNamedReference
 import org.jetbrains.kotlin.fir.symbols.impl.FirConstructorSymbol
 import org.jetbrains.kotlin.fir.types.*
@@ -247,6 +248,7 @@ internal class ClassMemberGenerator(
                     startOffset, endOffset, constructedIrType, "Cannot find delegated constructor call"
                 )
             }
+        val firDispatchReceiver = dispatchReceiver
         return convertWithOffsets { startOffset, endOffset ->
             val irConstructorSymbol = declarationStorage.getIrFunctionSymbol(constructorSymbol) as IrConstructorSymbol
             if (constructorSymbol.fir.isFromEnumClass || constructorSymbol.fir.returnTypeRef.isEnum) {
@@ -268,6 +270,9 @@ internal class ClassMemberGenerator(
                     irConstructorSymbol
                 )
             }.let {
+                if (firDispatchReceiver !is FirNoReceiverExpression) {
+                    it.dispatchReceiver = visitor.convertToIrExpression(firDispatchReceiver)
+                }
                 with(callGenerator) {
                     it.applyCallArguments(this@toIrDelegatingConstructorCall)
                 }

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/FirCallResolver.kt

@@ -6,6 +6,7 @@
 package org.jetbrains.kotlin.fir
 
 import org.jetbrains.kotlin.fir.declarations.FirMemberDeclaration
+import org.jetbrains.kotlin.fir.declarations.isInner
 import org.jetbrains.kotlin.fir.expressions.*
 import org.jetbrains.kotlin.fir.expressions.builder.buildExpressionStub
 import org.jetbrains.kotlin.fir.expressions.builder.buildResolvedReifiedParameterReference
@@ -20,7 +21,6 @@ import org.jetbrains.kotlin.fir.references.impl.FirSimpleNamedReference
 import org.jetbrains.kotlin.fir.resolve.*
 import org.jetbrains.kotlin.fir.resolve.calls.*
 import org.jetbrains.kotlin.fir.resolve.calls.tower.FirTowerResolver
-import org.jetbrains.kotlin.fir.resolve.calls.tower.TowerGroup
 import org.jetbrains.kotlin.fir.resolve.calls.tower.TowerResolveManager
 import org.jetbrains.kotlin.fir.resolve.diagnostics.ConeAmbiguityError
 import org.jetbrains.kotlin.fir.resolve.diagnostics.ConeInapplicableCandidateError
@@ -32,14 +32,12 @@ import org.jetbrains.kotlin.fir.resolve.transformers.StoreReceiver
 import org.jetbrains.kotlin.fir.resolve.transformers.body.resolve.FirExpressionsResolveTransformer
 import org.jetbrains.kotlin.fir.resolve.transformers.body.resolve.resultType
 import org.jetbrains.kotlin.fir.resolve.transformers.phasedFir
-import org.jetbrains.kotlin.fir.scopes.unsubstitutedScope
 import org.jetbrains.kotlin.fir.symbols.impl.*
 import org.jetbrains.kotlin.fir.types.*
 import org.jetbrains.kotlin.fir.types.builder.buildResolvedTypeRef
 import org.jetbrains.kotlin.name.Name
 import org.jetbrains.kotlin.resolve.calls.inference.ConstraintSystemBuilder
 import org.jetbrains.kotlin.resolve.calls.results.TypeSpecificityComparator
-import org.jetbrains.kotlin.resolve.calls.tasks.ExplicitReceiverKind
 
 class FirCallResolver(
     private val components: BodyResolveComponents,
@@ -269,14 +267,13 @@ class FirCallResolver(
 
     fun resolveDelegatingConstructorCall(
         delegatedConstructorCall: FirDelegatedConstructorCall,
-        symbol: FirClassSymbol<*>,
+        constructorClassSymbol: FirClassSymbol<*>,
         typeArguments: List<FirTypeProjection>,
     ): FirDelegatedConstructorCall? {
-        val scope = symbol.fir.unsubstitutedScope(session, scopeSession)
+        val name = Name.special("<init>")
-        val className = symbol.classId.shortClassName
         val callInfo = CallInfo(
             CallKind.DelegatingConstructorCall,
-            className,
+            name,
             explicitReceiver = null,
             delegatedConstructorCall.argumentList,
             isSafeCall = false,
@@ -286,22 +283,19 @@ class FirCallResolver(
             file,
             implicitReceiverStack,
         )
-        val candidateFactory = CandidateFactory(this, callInfo)
+        towerResolver.reset()
-        val candidates = mutableListOf<Candidate>()
+        val result = towerResolver.runResolverForDelegatingConstructor(
+            implicitReceiverStack.receiversAsReversed(),
+            callInfo,
+            constructorClassSymbol,
+        )
 
-        scope.processDeclaredConstructors {
+        return callResolver.selectDelegatingConstructorCall(delegatedConstructorCall, name, result)
-            val candidate = candidateFactory.createCandidate(it, ExplicitReceiverKind.NO_EXPLICIT_RECEIVER)
-            candidate.typeArgumentMapping = TypeArgumentMapping.Mapped(typeArguments)
-            candidates += candidate
-        }
-        return callResolver.selectDelegatingConstructorCall(delegatedConstructorCall, className, candidates)
     }
 
     private fun selectDelegatingConstructorCall(
-        call: FirDelegatedConstructorCall, name: Name, candidates: Collection<Candidate>,
+        call: FirDelegatedConstructorCall, name: Name, result: CandidateCollector,
     ): FirDelegatedConstructorCall {
-        val result = CandidateCollector(this, resolutionStageRunner)
-        candidates.forEach { result.consumeCandidate(TowerGroup.Start, it) }
         val bestCandidates = result.bestCandidates()
         val reducedCandidates = if (result.currentApplicability < CandidateApplicability.SYNTHETIC_RESOLVED) {
             bestCandidates.toSet()
@@ -316,7 +310,15 @@ class FirCallResolver(
             result.currentApplicability,
         )
 
-        return call.transformCalleeReference(StoreNameReference, nameReference)
+        return call.transformCalleeReference(StoreNameReference, nameReference).apply {
+            val singleCandidate = reducedCandidates.singleOrNull()
+            if (singleCandidate != null) {
+                val symbol = singleCandidate.symbol
+                if (symbol is FirConstructorSymbol && symbol.fir.isInner) {
+                    transformDispatchReceiver(StoreReceiver, singleCandidate.dispatchReceiverExpression())
+                }
+            }
+        }
     }
 
     private fun createCallableReferencesInfoForLHS(

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/CallKind.kt

@@ -40,6 +40,7 @@ enum class CallKind(vararg resolutionSequence: ResolutionStage) {
         CheckVisibility,
         MapArguments,
         CheckExplicitReceiverConsistency,
+        MapTypeArguments,
         CreateFreshTypeVariableSubstitutorStage,
         CheckReceivers.Dispatch,
         CheckReceivers.Extension,

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/ConstructorProcessing.kt

@@ -28,10 +28,11 @@ import org.jetbrains.kotlin.utils.addToStdlib.safeAs
 private operator fun <T> Pair<T, *>?.component1() = this?.first
 private operator fun <T> Pair<*, T>?.component2() = this?.second
 
-internal fun FirScope.processFunctionsAndConstructorsByName(
+internal fun FirScope.processConstructorsByName(
     name: Name,
     session: FirSession,
     bodyResolveComponents: BodyResolveComponents,
+    noSyntheticConstructors: Boolean,
     noInnerConstructors: Boolean = false,
     processor: (FirCallableSymbol<*>) -> Unit
 ) {
@@ -41,7 +42,6 @@ internal fun FirScope.processFunctionsAndConstructorsByName(
         val (matchedClassifierSymbol, substitutor) = classifierInfo
         val matchedClassSymbol = matchedClassifierSymbol as? FirClassLikeSymbol<*>
 
-
         processConstructors(
             matchedClassSymbol,
             substitutor,
@@ -51,12 +51,31 @@ internal fun FirScope.processFunctionsAndConstructorsByName(
             noInnerConstructors
         )
 
+        if (noSyntheticConstructors) {
+            return
+        }
+
         processSyntheticConstructors(
             matchedClassSymbol,
             processor,
             bodyResolveComponents
         )
     }
+}
+
+internal fun FirScope.processFunctionsAndConstructorsByName(
+    name: Name,
+    session: FirSession,
+    bodyResolveComponents: BodyResolveComponents,
+    noInnerConstructors: Boolean = false,
+    processor: (FirCallableSymbol<*>) -> Unit
+) {
+    processConstructorsByName(
+        name, session, bodyResolveComponents,
+        noSyntheticConstructors = false,
+        noInnerConstructors = noInnerConstructors,
+        processor = processor
+    )
 
     processFunctionsByName(name) {
         processor(it)

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/TypeArgumentMapping.kt

@@ -36,7 +36,7 @@ internal object MapTypeArguments : ResolutionStage() {
 
         val owner = candidate.symbol.fir as FirTypeParameterRefsOwner
 
-        if (typeArguments.size == owner.typeParameters.size) {
+        if (typeArguments.size == owner.typeParameters.size || callInfo.callKind == CallKind.DelegatingConstructorCall) {
             candidate.typeArgumentMapping = TypeArgumentMapping.Mapped(typeArguments)
         } else {
             sink.yieldApplicability(CandidateApplicability.INAPPLICABLE)

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/FirTowerResolver.kt

@@ -7,6 +7,8 @@ package org.jetbrains.kotlin.fir.resolve.calls.tower
 
 import org.jetbrains.kotlin.fir.resolve.BodyResolveComponents
 import org.jetbrains.kotlin.fir.resolve.calls.*
+import org.jetbrains.kotlin.fir.scopes.FirScope
+import org.jetbrains.kotlin.fir.symbols.impl.FirClassSymbol
 
 class FirTowerResolver(
     private val components: BodyResolveComponents,
@@ -30,6 +32,20 @@ class FirTowerResolver(
         return collector
     }
 
+    fun runResolverForDelegatingConstructor(
+        implicitReceiverValues: List<ImplicitReceiverValue<*>>,
+        info: CallInfo,
+        constructorClassSymbol: FirClassSymbol<*>,
+    ): CandidateCollector {
+        val candidateFactoriesAndCollectors = buildCandidateFactoriesAndCollectors(info, collector)
+
+        val towerResolverSession = FirTowerResolverSession(components, implicitReceiverValues, manager, candidateFactoriesAndCollectors)
+        towerResolverSession.runResolutionForDelegatingConstructor(info, constructorClassSymbol)
+
+        manager.runTasks()
+        return collector
+    }
+
     private fun buildCandidateFactoriesAndCollectors(
         info: CallInfo,
         collector: CandidateCollector

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/FirTowerResolverSession.kt

@@ -26,7 +26,9 @@ import org.jetbrains.kotlin.fir.scopes.ProcessorAction
 import org.jetbrains.kotlin.fir.scopes.impl.FirCompositeScope
 import org.jetbrains.kotlin.fir.scopes.impl.FirLocalScope
 import org.jetbrains.kotlin.fir.scopes.impl.FirStaticScope
+import org.jetbrains.kotlin.fir.scopes.unsubstitutedScope
 import org.jetbrains.kotlin.fir.symbols.impl.FirCallableSymbol
+import org.jetbrains.kotlin.fir.symbols.impl.FirClassSymbol
 import org.jetbrains.kotlin.fir.symbols.impl.FirRegularClassSymbol
 import org.jetbrains.kotlin.fir.types.*
 import org.jetbrains.kotlin.fir.types.impl.FirImplicitBuiltinTypeRef
@@ -65,6 +67,10 @@ class FirTowerResolverSession internal constructor(
         else
             components.typeParametersScopes.asReversed() + components.fileImportsScope.asReversed()
 
+    fun runResolutionForDelegatingConstructor(info: CallInfo, constructorClassSymbol: FirClassSymbol<*>) {
+        manager.enqueueResolverTask { runResolverForDelegatingConstructorCall(info, constructorClassSymbol) }
+    }
+
     fun runResolution(info: CallInfo) {
         when (val receiver = info.explicitReceiver) {
             is FirResolvedQualifier -> manager.enqueueResolverTask { runResolverForQualifierReceiver(info, receiver) }
@@ -198,6 +204,25 @@ class FirTowerResolverSession internal constructor(
         }
     }
 
+    private suspend fun runResolverForDelegatingConstructorCall(info: CallInfo, constructorClassSymbol: FirClassSymbol<*>) {
+        val scope = constructorClassSymbol.fir.unsubstitutedScope(session, components.scopeSession)
+        // Search for non-inner constructors only
+        processLevel(
+            scope.toScopeTowerLevel(),
+            info, TowerGroup.Implicit(0)
+        )
+        // Search for inner constructors only
+        if (constructorClassSymbol is FirRegularClassSymbol) {
+            // 1 because we search for inner constructor in outer class
+            implicitReceiversUsableAsValues.getOrNull(1)?.let { (implicitReceiverValue) ->
+                processLevel(
+                    implicitReceiverValue.toMemberScopeTowerLevel(),
+                    info.copy(name = constructorClassSymbol.fir.name), TowerGroup.Implicit(1)
+                )
+            }
+        }
+    }
+
     private suspend fun runResolverForNoReceiver(
         info: CallInfo
     ) {

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevelHandler.kt

@@ -122,6 +122,9 @@ internal class TowerLevelHandler {
                     towerLevel.processFunctionsAndProperties(info.name, processor)
                 }
             }
+            CallKind.DelegatingConstructorCall -> {
+                towerLevel.processConstructors(info.name, processor)
+            }
             else -> {
                 throw AssertionError("Unsupported call kind in tower resolver: ${info.callKind}")
             }
@@ -150,6 +153,12 @@ internal class TowerLevelHandler {
         processProperties(name, processor)
     }
 
+    private fun TowerScopeLevel.processConstructors(
+        name: Name, processor: TowerScopeLevel.TowerScopeLevelProcessor<AbstractFirBasedSymbol<*>>
+    ) {
+        processElementsByNameAndStoreResult(TowerScopeLevel.Token.Constructors, name, processor)
+    }
+
     private fun TowerScopeLevel.processObjectsAsVariables(
         name: Name, processor: TowerScopeLevel.TowerScopeLevelProcessor<AbstractFirBasedSymbol<*>>
     ) {

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt

@@ -37,8 +37,8 @@ interface TowerScopeLevel {
 
     sealed class Token<out T : AbstractFirBasedSymbol<*>> {
         object Properties : Token<FirVariableSymbol<*>>()
-
         object Functions : Token<FirFunctionSymbol<*>>()
+        object Constructors : Token<FirConstructorSymbol>()
         object Objects : Token<AbstractFirBasedSymbol<*>>()
     }
 
@@ -82,6 +82,7 @@ class MemberScopeTowerLevel(
 ) : SessionBasedTowerLevel(session) {
     private fun <T : AbstractFirBasedSymbol<*>> processMembers(
         output: TowerScopeLevel.TowerScopeLevelProcessor<T>,
+        forInnerConstructors: Boolean = false,
         processScopeMembers: FirScope.(processor: (T) -> Unit) -> Unit
     ): ProcessorAction {
         var empty = true
@@ -92,7 +93,11 @@ class MemberScopeTowerLevel(
                 (implicitExtensionInvokeMode || candidate.hasConsistentExtensionReceiver(extensionReceiver))
             ) {
                 val fir = candidate.fir
-                if ((fir as? FirCallableMemberDeclaration<*>)?.isStatic == true || (fir as? FirConstructor)?.isInner == false) {
+                if (forInnerConstructors) {
+                    if (candidate !is FirConstructorSymbol || !candidate.fir.isInner) {
+                        return@processScopeMembers
+                    }
+                } else if ((fir as? FirCallableMemberDeclaration<*>)?.isStatic == true || (fir as? FirConstructor)?.isInner == false) {
                     return@processScopeMembers
                 }
                 val dispatchReceiverValue = NotNullableReceiverValue(dispatchReceiver)
@@ -114,10 +119,12 @@ class MemberScopeTowerLevel(
             }
         }
 
-        val withSynthetic = FirSyntheticPropertiesScope(session, scope)
+        if (!forInnerConstructors) {
-        withSynthetic.processScopeMembers { symbol ->
+            val withSynthetic = FirSyntheticPropertiesScope(session, scope)
-            empty = false
+            withSynthetic.processScopeMembers { symbol ->
-            output.consumeCandidate(symbol, NotNullableReceiverValue(dispatchReceiver), extensionReceiver as? ImplicitReceiverValue<*>)
+                empty = false
+                output.consumeCandidate(symbol, NotNullableReceiverValue(dispatchReceiver), extensionReceiver as? ImplicitReceiverValue<*>)
+            }
         }
         return if (empty) ProcessorAction.NONE else ProcessorAction.NEXT
     }
@@ -157,6 +164,17 @@ class MemberScopeTowerLevel(
                     consumer(it as T)
                 }
             }
+            TowerScopeLevel.Token.Constructors -> processMembers(processor, forInnerConstructors = true) { consumer ->
+                this.processConstructorsByName(
+                    name, session, bodyResolveComponents,
+                    noSyntheticConstructors = true,
+                    noInnerConstructors = false,
+                    processor = {
+                        @Suppress("UNCHECKED_CAST")
+                        consumer(it as T)
+                    }
+                )
+            }
         }
     }
 
@@ -261,6 +279,15 @@ class ScopeTowerLevel(
                     implicitExtensionReceiverValue = null
                 )
             }
+            TowerScopeLevel.Token.Constructors -> scope.processDeclaredConstructors { candidate ->
+                // NB: here we cannot resolve inner constructors, because they should have dispatch receiver
+                if (!candidate.fir.isInner) {
+                    processor.consumeCandidate(
+                        candidate as T, dispatchReceiverValue(scope, candidate),
+                        implicitExtensionReceiverValue = null
+                    )
+                }
+            }
         }
         return if (empty) ProcessorAction.NONE else ProcessorAction.NEXT
     }

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirExpressionsResolveTransformer.kt

@@ -644,7 +644,8 @@ class FirExpressionsResolveTransformer(transformer: FirBodyResolveTransformer) :
                 context.implicitReceiverStack.add(name, lastDispatchReceiver)
             }
             val typeArguments: List<FirTypeProjection>
-            val symbol: FirClassSymbol<*> = when (val reference = delegatedConstructorCall.calleeReference) {
+            val reference = delegatedConstructorCall.calleeReference
+            val symbol: FirClassSymbol<*> = when (reference) {
                 is FirThisReference -> {
                     typeArguments = emptyList()
                     if (reference.boundSymbol == null) {
@@ -674,7 +675,11 @@ class FirExpressionsResolveTransformer(transformer: FirBodyResolveTransformer) :
             }
             val resolvedCall = callResolver.resolveDelegatingConstructorCall(delegatedConstructorCall, symbol, typeArguments)
                 ?: return delegatedConstructorCall.compose()
-
+            if (reference is FirThisReference && reference.boundSymbol == null) {
+                resolvedCall.dispatchReceiver.typeRef.coneTypeSafe<ConeClassLikeType>()?.lookupTag?.toSymbol(session)?.let {
+                    reference.replaceBoundSymbol(it)
+                }
+            }
 
             val completionResult = callCompleter.completeCall(resolvedCall, noExpectedType)
             result = completionResult.result

compiler/fir/tree/gen/org/jetbrains/kotlin/fir/expressions/FirDelegatedConstructorCall.kt

@@ -22,6 +22,7 @@ abstract class FirDelegatedConstructorCall : FirPureAbstractElement(), FirResolv
     abstract override val annotations: List<FirAnnotationCall>
     abstract override val argumentList: FirArgumentList
     abstract val constructedTypeRef: FirTypeRef
+    abstract val dispatchReceiver: FirExpression
     abstract val isThis: Boolean
     abstract val isSuper: Boolean
 
@@ -36,4 +37,6 @@ abstract class FirDelegatedConstructorCall : FirPureAbstractElement(), FirResolv
     abstract override fun <D> transformCalleeReference(transformer: FirTransformer<D>, data: D): FirDelegatedConstructorCall
 
     abstract override fun <D> transformAnnotations(transformer: FirTransformer<D>, data: D): FirDelegatedConstructorCall
+
+    abstract fun <D> transformDispatchReceiver(transformer: FirTransformer<D>, data: D): FirDelegatedConstructorCall
 }

compiler/fir/tree/gen/org/jetbrains/kotlin/fir/expressions/builder/FirDelegatedConstructorCallBuilder.kt

@@ -13,8 +13,10 @@ import org.jetbrains.kotlin.fir.expressions.FirAnnotationCall
 import org.jetbrains.kotlin.fir.expressions.FirArgumentList
 import org.jetbrains.kotlin.fir.expressions.FirDelegatedConstructorCall
 import org.jetbrains.kotlin.fir.expressions.FirEmptyArgumentList
+import org.jetbrains.kotlin.fir.expressions.FirExpression
 import org.jetbrains.kotlin.fir.expressions.builder.FirCallBuilder
 import org.jetbrains.kotlin.fir.expressions.impl.FirDelegatedConstructorCallImpl
+import org.jetbrains.kotlin.fir.expressions.impl.FirNoReceiverExpression
 import org.jetbrains.kotlin.fir.references.FirReference
 import org.jetbrains.kotlin.fir.references.impl.FirExplicitSuperReference
 import org.jetbrains.kotlin.fir.references.impl.FirExplicitThisReference
@@ -32,6 +34,7 @@ class FirDelegatedConstructorCallBuilder : FirCallBuilder, FirAnnotationContaine
     override val annotations: MutableList<FirAnnotationCall> = mutableListOf()
     override var argumentList: FirArgumentList = FirEmptyArgumentList
     lateinit var constructedTypeRef: FirTypeRef
+    var dispatchReceiver: FirExpression = FirNoReceiverExpression
     var isThis: Boolean by kotlin.properties.Delegates.notNull<Boolean>()
 
     override fun build(): FirDelegatedConstructorCall {
@@ -40,6 +43,7 @@ class FirDelegatedConstructorCallBuilder : FirCallBuilder, FirAnnotationContaine
             annotations,
             argumentList,
             constructedTypeRef,
+            dispatchReceiver,
             isThis,
         )
     }

compiler/fir/tree/gen/org/jetbrains/kotlin/fir/expressions/impl/FirDelegatedConstructorCallImpl.kt

@@ -9,6 +9,7 @@ import org.jetbrains.kotlin.fir.FirSourceElement
 import org.jetbrains.kotlin.fir.expressions.FirAnnotationCall
 import org.jetbrains.kotlin.fir.expressions.FirArgumentList
 import org.jetbrains.kotlin.fir.expressions.FirDelegatedConstructorCall
+import org.jetbrains.kotlin.fir.expressions.FirExpression
 import org.jetbrains.kotlin.fir.references.FirReference
 import org.jetbrains.kotlin.fir.references.impl.FirExplicitSuperReference
 import org.jetbrains.kotlin.fir.references.impl.FirExplicitThisReference
@@ -25,6 +26,7 @@ internal class FirDelegatedConstructorCallImpl(
     override val annotations: MutableList<FirAnnotationCall>,
     override var argumentList: FirArgumentList,
     override var constructedTypeRef: FirTypeRef,
+    override var dispatchReceiver: FirExpression,
     override val isThis: Boolean,
 ) : FirDelegatedConstructorCall() {
     override var calleeReference: FirReference = if (isThis) FirExplicitThisReference(source, null) else FirExplicitSuperReference(source, null, constructedTypeRef)
@@ -55,6 +57,11 @@ internal class FirDelegatedConstructorCallImpl(
         return this
     }
 
+    override fun <D> transformDispatchReceiver(transformer: FirTransformer<D>, data: D): FirDelegatedConstructorCallImpl {
+        dispatchReceiver = dispatchReceiver.transformSingle(transformer, data)
+        return this
+    }
+
     override fun replaceCalleeReference(newCalleeReference: FirReference) {
         calleeReference = newCalleeReference
     }

compiler/fir/tree/src/org/jetbrains/kotlin/fir/FirRenderer.kt

@@ -763,6 +763,11 @@ class FirRenderer(builder: StringBuilder, private val mode: RenderMode = RenderM
     }
 
     override fun visitDelegatedConstructorCall(delegatedConstructorCall: FirDelegatedConstructorCall) {
+        val dispatchReceiver = delegatedConstructorCall.dispatchReceiver
+        if (dispatchReceiver !is FirNoReceiverExpression) {
+            dispatchReceiver.accept(this)
+            print(".")
+        }
         if (delegatedConstructorCall.isSuper) {
             print("super<")
         } else if (delegatedConstructorCall.isThis) {

compiler/fir/tree/tree-generator/src/org/jetbrains/kotlin/fir/tree/generator/BuilderConfigurator.kt

@@ -152,6 +152,8 @@ object BuilderConfigurator : AbstractBuilderConfigurator<FirTreeBuilder>(FirTree
             default("argumentList") {
                 value = "FirEmptyArgumentList"
             }
+            default("dispatchReceiver", "FirNoReceiverExpression")
+            useTypes(noReceiverExpressionType)
             useTypes(emptyArgumentListType)
         }
 

compiler/fir/tree/tree-generator/src/org/jetbrains/kotlin/fir/tree/generator/NodeConfigurator.kt

@@ -348,6 +348,7 @@ object NodeConfigurator : AbstractFieldConfigurator<FirTreeBuilder>(FirTreeBuild
 
         delegatedConstructorCall.configure {
             +field("constructedTypeRef", typeRef, withReplace = true)
+            +field("dispatchReceiver", expression).withTransform()
             generateBooleanFields("this", "super")
         }
 

compiler/testData/codegen/box/classes/inheritedInnerClass.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class Outer() {
   open inner class InnerBase() {
   }

compiler/testData/codegen/box/classes/inner/kt6708.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 open class A() {
     open inner class InnerA
 }

compiler/testData/codegen/box/classes/propertyInInitializer.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class Outer() {
   val s = "xyzzy"
 

compiler/testData/codegen/box/closures/captureInSuperConstructorCall/kt14148.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 interface Test {
     fun test(): String
 }

compiler/testData/codegen/box/innerNested/innerJavaClass.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 // TARGET_BACKEND: JVM
 // FILE: JavaClass.java
 

compiler/testData/codegen/box/innerNested/passingOuterRef.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 open class A1(y: String) {
     val x = "A1.x,$y"
 }

compiler/testData/codegen/box/innerNested/superConstructorCall/deepInnerHierarchy.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 open class A(val s: String) {
     open inner class B(s: String): A(s)
 

compiler/testData/codegen/box/innerNested/superConstructorCall/innerExtendsInnerViaSecondaryConstuctor.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 open class Father(val param: String) {
     abstract inner class InClass {
         fun work(): String {

compiler/testData/codegen/box/innerNested/superConstructorCall/innerExtendsInnerWithProperOuterCapture.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 open class Father(val param: String) {
     abstract inner class InClass {
         fun work(): String {

compiler/testData/codegen/box/innerNested/superConstructorCall/kt11833_1.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 abstract class Father {
     abstract inner class InClass {
         abstract fun work(): String

compiler/testData/codegen/box/innerNested/superConstructorCall/kt11833_2.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 abstract class Father {
     abstract inner class InClass {
         abstract fun work(): String

compiler/testData/codegen/box/innerNested/superConstructorCall/localClassOuterDiffersFromInnerOuter.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class A {
     fun bar(): Any {
         return {

compiler/testData/codegen/box/innerNested/superConstructorCall/localExtendsInner.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 open class Father(val param: String) {
     abstract inner class InClass {
         fun work(): String {

compiler/testData/codegen/box/innerNested/superConstructorCall/objectExtendsInner.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class A {
     open inner class Inner(val result: String)
 

compiler/testData/codegen/box/innerNested/superConstructorCall/objectExtendsInnerDefaultArgument.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class A {
     open inner class Inner(val result: String = "OK", val int: Int)
 

compiler/testData/codegen/box/innerNested/superConstructorCall/objectOuterDiffersFromInnerOuter.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class A {
     fun bar(): Any {
         return {

compiler/testData/codegen/box/localClasses/localExtendsInnerAndReferencesOuterMember.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class A {
     fun box(): String {
         class Local : Inner() {

compiler/testData/codegen/box/localClasses/subclassingExtensionReceiverClass.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 // IGNORE_BACKEND: JVM
 
 class A(val x: String) {

compiler/testData/codegen/box/objects/objectExtendsInnerAndReferencesOuterMember.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class A {
     val x: Any get() {
         return object : Inner() {

compiler/testData/codegen/box/typealias/innerClassTypeAliasConstructorInSupertypes.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
 class Outer(val x: String) {
     abstract inner class InnerBase
 

compiler/testData/diagnostics/tests/inference/knownTypeParameters.fir.kt

@@ -1,30 +0,0 @@
-// !LANGUAGE: +NewInference
-
-open class A<T1, T2> {
-    open inner class A1(val a1: T1)
-    open inner class A2(val a2: T2)
-
-    open fun f1(arg: T1) = arg
-    open fun f2(arg: T2) = arg
-}
-
-open class B<T> : A<T, Int>() {
-    open inner class B1(b1: T) : <!INAPPLICABLE_CANDIDATE!>A1<!>(b1)
-    open inner class B2(b2: Int) : <!INAPPLICABLE_CANDIDATE!>A2<!>(b2)
-
-    fun variableToKnownParameter(p: T): Int =
-        p as? Int ?: 0
-
-    inner class B3(b3: T) : <!INAPPLICABLE_CANDIDATE!>A2<!>(variableToKnownParameter(b3))
-
-    override fun f1(arg: T) = arg
-    override fun f2(arg: Int) = arg
-}
-
-class C : B<String>() {
-    inner class C1(c1: String): <!INAPPLICABLE_CANDIDATE!>B1<!>(c1)
-    inner class C2 : B2(15)
-
-    override fun f1(arg: String) = arg
-    override fun f2(arg: Int) = arg
-}

compiler/testData/diagnostics/tests/inference/knownTypeParameters.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 // !LANGUAGE: +NewInference
 
 open class A<T1, T2> {

compiler/testData/diagnostics/tests/inference/kt32415.fir.kt

@@ -1,9 +0,0 @@
-// !LANGUAGE: +NewInference
-
-abstract class TestType<V: Any> {
-    open inner class Inner(val item: V)
-}
-
-class Derived: TestType<Long>() {
-    inner class DerivedInner(item: Long): <!INAPPLICABLE_CANDIDATE!>Inner<!>(item)
-}

compiler/testData/diagnostics/tests/inference/kt32415.kt

@@ -1,3 +1,4 @@
+// FIR_IDENTICAL
 // !LANGUAGE: +NewInference
 
 abstract class TestType<V: Any> {

compiler/testData/diagnostics/tests/inner/classesInClassObjectHeader.fir.kt

@@ -1,6 +1,6 @@
 class Test {
     @`InnerAnnotation` @InnerAnnotation
-    companion object : StaticClass(), InnerClass() {
+    companion object : StaticClass(), <!UNRESOLVED_REFERENCE!>InnerClass<!>() {
 
     }
 

compiler/testData/diagnostics/tests/inner/innerErrorForClassObjects.fir.kt

@@ -5,8 +5,8 @@ class TestSome<P> {
 }
 
 class Test {
-    companion object : InnerClass() {
+    companion object : <!UNRESOLVED_REFERENCE!>InnerClass<!>() {
-        val a = object: InnerClass() {
+        val a = object: <!UNRESOLVED_REFERENCE!>InnerClass<!>() {
         }
 
         fun more(): InnerClass {

compiler/testData/diagnostics/tests/inner/innerErrorForObjects.fir.kt

@@ -5,8 +5,8 @@ class TestSome<P> {
 }
 
 class Test {
-    object Some : InnerClass() {
+    object Some : <!UNRESOLVED_REFERENCE!>InnerClass<!>() {
-        val a = object: InnerClass() {
+        val a = object: <!UNRESOLVED_REFERENCE!>InnerClass<!>() {
         }
 
         fun more(): InnerClass {

compiler/testData/diagnostics/tests/inner/modality.fir.kt

@@ -7,7 +7,7 @@ class Outer {
 
     class Nested1 : OpenNested()
     class Nested2 : FinalNested()
-    class Nested3 : OpenInner()
+    class Nested3 : <!UNRESOLVED_REFERENCE!>OpenInner<!>()
     class Nested4 : FinalInner()
 
     inner class Inner1 : OpenNested()

compiler/testData/diagnostics/tests/secondaryConstructors/nestedExtendsInner.fir.kt

@@ -2,6 +2,6 @@ class A {
     open inner class Inner
 
     class Nested : Inner {
-        constructor()
+        <!UNRESOLVED_REFERENCE!>constructor()<!>
     }
 }

compiler/testData/ir/irText/classes/innerClass.fir.txt

@@ -31,6 +31,7 @@ FILE fqName:<root> fileName:/innerClass.kt
         $outer: VALUE_PARAMETER name:<this> type:<root>.Outer
         BLOCK_BODY
           DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.Outer.TestInnerClass'
+            $this: GET_VAR '<this>: <root>.Outer declared in <root>.Outer' type=<root>.Outer origin=null
           INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:DerivedInnerClass modality:FINAL visibility:public [inner] superTypes:[<root>.Outer.TestInnerClass]'
       FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
         overridden:

compiler/testData/ir/irText/classes/innerClassWithDelegatingConstructor.fir.txt

@@ -28,6 +28,7 @@ FILE fqName:<root> fileName:/innerClassWithDelegatingConstructor.kt
         $outer: VALUE_PARAMETER name:<this> type:<root>.Outer
         BLOCK_BODY
           DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> (x: kotlin.Int) [primary] declared in <root>.Outer.Inner'
+            $this: GET_VAR '<this>: <root>.Outer declared in <root>.Outer' type=<root>.Outer origin=null
             x: CONST Int type=kotlin.Int value=0
       FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
         overridden:

compiler/testData/ir/irText/classes/objectLiteralExpressions.fir.txt

@@ -121,6 +121,7 @@ FILE fqName:<root> fileName:/objectLiteralExpressions.kt
               CONSTRUCTOR visibility:private <> () returnType:<root>.Outer.test3.<no name provided> [primary]
                 BLOCK_BODY
                   DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.Outer.Inner'
+                    $this: GET_VAR '<this>: <root>.Outer declared in <root>.Outer.test3' type=<root>.Outer origin=null
                   INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[<root>.Outer.Inner]'
               FUN name:foo visibility:public modality:FINAL <> ($this:<root>.Outer.test3.<no name provided>) returnType:kotlin.Unit
                 overridden:
@@ -166,6 +167,7 @@ FILE fqName:<root> fileName:/objectLiteralExpressions.kt
             CONSTRUCTOR visibility:private <> () returnType:<root>.test4.<no name provided> [primary]
               BLOCK_BODY
                 DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.Outer.Inner'
+                  $this: GET_VAR '<this>: <root>.Outer declared in <root>.test4' type=<root>.Outer origin=null
                 INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[<root>.Outer.Inner]'
             FUN name:foo visibility:public modality:FINAL <> ($this:<root>.test4.<no name provided>) returnType:kotlin.Unit
               overridden:

compiler/testData/ir/irText/declarations/parameters/constructor.fir.txt

@@ -90,6 +90,7 @@ FILE fqName:<root> fileName:/constructor.kt
         BLOCK_BODY
           DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> (z: Z of <root>.Test2.TestInner) [primary] declared in <root>.Test2.TestInner'
             <Z>: <none>
+            $this: GET_VAR '<this>: <root>.Test2 declared in <root>.Test2' type=<root>.Test2 origin=null
             z: GET_VAR 'z: Z of <root>.Test2.TestInner declared in <root>.Test2.TestInner.<init>' type=Z of <root>.Test2.TestInner origin=null
       FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
         overridden:

compiler/testData/ir/irText/expressions/kt16905.fir.txt

@@ -31,6 +31,7 @@ FILE fqName:<root> fileName:/kt16905.kt
         $outer: VALUE_PARAMETER name:<this> type:<root>.Outer
         BLOCK_BODY
           DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.Outer.Inner'
+            $this: GET_VAR '<this>: <root>.Outer declared in <root>.Outer' type=<root>.Outer origin=null
           INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:InnerDerived0 modality:FINAL visibility:public [inner] superTypes:[<root>.Outer.Inner]'
       FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
         overridden:
@@ -51,6 +52,7 @@ FILE fqName:<root> fileName:/kt16905.kt
         $outer: VALUE_PARAMETER name:<this> type:<root>.Outer
         BLOCK_BODY
           DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.Outer.Inner'
+            $this: GET_VAR '<this>: <root>.Outer declared in <root>.Outer' type=<root>.Outer origin=null
           INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:InnerDerived1 modality:FINAL visibility:public [inner] superTypes:[<root>.Outer.Inner]'
       FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
         overridden:

compiler/testData/ir/irText/expressions/multipleThisReferences.fir.txt

@@ -79,6 +79,7 @@ FILE fqName:<root> fileName:/multipleThisReferences.kt
               CONSTRUCTOR visibility:private <> () returnType:<root>.Host.test.<no name provided> [primary]
                 BLOCK_BODY
                   DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> (x: kotlin.Int) [primary] declared in <root>.Outer.Inner'
+                    $this: GET_VAR '<this>: <root>.Outer declared in <root>.Host.test' type=<root>.Outer origin=null
                     x: CONST Int type=kotlin.Int value=42
                   INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[<root>.Outer.Inner]'
               PROPERTY name:xx visibility:public modality:FINAL [val]

compiler/testData/ir/irText/expressions/thisOfGenericOuterClass.fir.txt

@@ -72,7 +72,8 @@ FILE fqName:<root> fileName:/thisOfGenericOuterClass.kt
             $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.test.<no name provided>
             CONSTRUCTOR visibility:private <> () returnType:<root>.test.<no name provided> [primary]
               BLOCK_BODY
-                DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> (y: kotlin.Int) [primary] declared in <root>.Outer.Inner'
+                DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> (y: kotlin.Int) declared in <root>.Outer.Inner'
+                  $this: GET_VAR '<this>: <root>.Outer<kotlin.Int> declared in <root>.test' type=<root>.Outer<kotlin.Int> origin=null
                   y: CONST Int type=kotlin.Int value=42
                 INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[<root>.Outer.Inner<kotlin.Int>]'
             PROPERTY name:xx visibility:public modality:FINAL [val]