[FIR] KT-56876: Ensure inner type classifiers are resolved in contracts

^KT-56876 Fixed

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java

@@ -525,6 +525,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
             runTest("compiler/testData/diagnostics/tests/kt56769.kt");
         }
 
+        @Test
+        @TestMetadata("kt56876.kt")
+        public void testKt56876() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt56876.kt");
+        }
+
         @Test
         @TestMetadata("kt56877.kt")
         public void testKt56877() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java

@@ -525,6 +525,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
             runTest("compiler/testData/diagnostics/tests/kt56769.kt");
         }
 
+        @Test
+        @TestMetadata("kt56876.kt")
+        public void testKt56876() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt56876.kt");
+        }
+
         @Test
         @TestMetadata("kt56877.kt")
         public void testKt56877() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java

@@ -525,6 +525,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
             runTest("compiler/testData/diagnostics/tests/kt56769.kt");
         }
 
+        @Test
+        @TestMetadata("kt56876.kt")
+        public void testKt56876() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt56876.kt");
+        }
+
         @Test
         @TestMetadata("kt56877.kt")
         public void testKt56877() throws Exception {

compiler/testData/diagnostics/tests/kt56876.kt

@@ -0,0 +1,23 @@
+// FIR_IDENTICAL
+
+@file:OptIn(ExperimentalContracts::class)
+
+import kotlin.contracts.*
+
+open class Result {
+    class Success : Result()
+
+    fun isSuccess1(arg: Result): Boolean {
+        contract {
+            returns(true) implies (arg is Success)
+        }
+        return arg is Success
+    }
+}
+
+fun Result.isSuccess2(arg: Result): Boolean {
+    contract {
+        returns(true) implies (arg is <!UNRESOLVED_REFERENCE!>Success<!>)
+    }
+    return arg is <!UNRESOLVED_REFERENCE!>Success<!>
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -525,6 +525,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
             runTest("compiler/testData/diagnostics/tests/kt56769.kt");
         }
 
+        @Test
+        @TestMetadata("kt56876.kt")
+        public void testKt56876() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/kt56876.kt");
+        }
+
         @Test
         @TestMetadata("kt56877.kt")
         public void testKt56877() throws Exception {