[FIR] Add failing test for incorrect type calculation of implicit types

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

@@ -0,0 +1,5 @@
+fun <K> extract(x: Out<K>) = x.get()
+
+class Out<out T>(val x: T) {
+    fun get() = x
+}

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

@@ -208,6 +208,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest {
         runTest("compiler/fir/analysis-tests/testData/resolve/genericReceiverPropertyOverride.kt");
     }
 
+    @TestMetadata("implicitTypeInFakeOverride.kt")
+    public void testImplicitTypeInFakeOverride() throws Exception {
+        runTest("compiler/fir/analysis-tests/testData/resolve/implicitTypeInFakeOverride.kt");
+    }
+
     @TestMetadata("incorrectSuperCall.kt")
     public void testIncorrectSuperCall() throws Exception {
         runTest("compiler/fir/analysis-tests/testData/resolve/incorrectSuperCall.kt");

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

@@ -208,6 +208,11 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
         runTest("compiler/fir/analysis-tests/testData/resolve/genericReceiverPropertyOverride.kt");
     }
 
+    @TestMetadata("implicitTypeInFakeOverride.kt")
+    public void testImplicitTypeInFakeOverride() throws Exception {
+        runTest("compiler/fir/analysis-tests/testData/resolve/implicitTypeInFakeOverride.kt");
+    }
+
     @TestMetadata("incorrectSuperCall.kt")
     public void testIncorrectSuperCall() throws Exception {
         runTest("compiler/fir/analysis-tests/testData/resolve/incorrectSuperCall.kt");