[Tests] Reproduce #KT-66048

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

@@ -22492,6 +22492,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
         runTest("compiler/testData/diagnostics/tests/j+k/KJKInheritanceGeneric.kt");
       }
 
+      @Test
+      @TestMetadata("kjkImplicitReturnType.kt")
+      public void testKjkImplicitReturnType() {
+        runTest("compiler/testData/diagnostics/tests/j+k/kjkImplicitReturnType.kt");
+      }
+
       @Test
       @TestMetadata("kjkPropertyAndExtensionProperty.kt")
       public void testKjkPropertyAndExtensionProperty() {

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

@@ -22492,6 +22492,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
         runTest("compiler/testData/diagnostics/tests/j+k/KJKInheritanceGeneric.kt");
       }
 
+      @Test
+      @TestMetadata("kjkImplicitReturnType.kt")
+      public void testKjkImplicitReturnType() {
+        runTest("compiler/testData/diagnostics/tests/j+k/kjkImplicitReturnType.kt");
+      }
+
       @Test
       @TestMetadata("kjkPropertyAndExtensionProperty.kt")
       public void testKjkPropertyAndExtensionProperty() {

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

@@ -22486,6 +22486,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
         runTest("compiler/testData/diagnostics/tests/j+k/KJKInheritanceGeneric.kt");
       }
 
+      @Test
+      @TestMetadata("kjkImplicitReturnType.kt")
+      public void testKjkImplicitReturnType() {
+        runTest("compiler/testData/diagnostics/tests/j+k/kjkImplicitReturnType.kt");
+      }
+
       @Test
       @TestMetadata("kjkPropertyAndExtensionProperty.kt")
       public void testKjkPropertyAndExtensionProperty() {

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

@@ -22492,6 +22492,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
         runTest("compiler/testData/diagnostics/tests/j+k/KJKInheritanceGeneric.kt");
       }
 
+      @Test
+      @TestMetadata("kjkImplicitReturnType.kt")
+      public void testKjkImplicitReturnType() {
+        runTest("compiler/testData/diagnostics/tests/j+k/kjkImplicitReturnType.kt");
+      }
+
       @Test
       @TestMetadata("kjkPropertyAndExtensionProperty.kt")
       public void testKjkPropertyAndExtensionProperty() {

compiler/testData/diagnostics/tests/j+k/kjkImplicitReturnType.fir.kt

@@ -0,0 +1,63 @@
+// ISSUE: KT-66048
+// IGNORE_REVERSED_RESOLVE
+// ^KT-66392
+
+// FILE: Java1.java
+public class Java1 extends KotlinClass  {
+    @Override
+    public String a() {
+        return "2";
+    }
+
+    @Override
+    public String getB() {
+        return "2";
+    }
+
+    @Override
+    public String getC() {
+        return "2";
+    }
+
+    @Override
+    public void setC(String value) {
+    }
+
+    @Override
+    public String getD() {
+        return "2";
+    }
+
+    @Override
+    public void setD(String value) {
+    }
+
+    @Override
+    public String getE() {
+        return "2";
+    }
+
+    @Override
+    public String getF() {
+        return "2";
+    }
+}
+
+// FILE: test.kt
+open class KotlinClass {
+    open fun a() = "1"
+    open val b = "1"
+    open var c = "1"
+    open var d: String = "1"
+    open var e = "1"
+    open var f: String = "1"
+}
+
+class B : Java1() {
+    override fun a(): String? = super.a()
+    override val b: String? = super.b
+    override var c: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>String?<!> = super.c
+    override var d: String? = super.d
+    override var e: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>String?<!> = super.e
+    override var f: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>String?<!> = super.f
+}

compiler/testData/diagnostics/tests/j+k/kjkImplicitReturnType.kt

@@ -0,0 +1,63 @@
+// ISSUE: KT-66048
+// IGNORE_REVERSED_RESOLVE
+// ^KT-66392
+
+// FILE: Java1.java
+public class Java1 extends KotlinClass  {
+    @Override
+    public String a() {
+        return "2";
+    }
+
+    @Override
+    public String getB() {
+        return "2";
+    }
+
+    @Override
+    public String getC() {
+        return "2";
+    }
+
+    @Override
+    public void setC(String value) {
+    }
+
+    @Override
+    public String getD() {
+        return "2";
+    }
+
+    @Override
+    public void setD(String value) {
+    }
+
+    @Override
+    public String getE() {
+        return "2";
+    }
+
+    @Override
+    public String getF() {
+        return "2";
+    }
+}
+
+// FILE: test.kt
+open class KotlinClass {
+    open fun a() = "1"
+    open val b = "1"
+    open var c = "1"
+    open var d: String = "1"
+    open var e = "1"
+    open var f: String = "1"
+}
+
+class B : Java1() {
+    override fun a(): <!RETURN_TYPE_MISMATCH_ON_OVERRIDE!>String?<!> = super.a()
+    override val b: <!PROPERTY_TYPE_MISMATCH_ON_OVERRIDE!>String?<!> = super.b
+    override var c: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>String?<!> = super.c
+    override var d: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>String?<!> = super.d
+    <!ACCIDENTAL_OVERRIDE!>override var e: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>String?<!><!> = super.e
+    <!ACCIDENTAL_OVERRIDE!>override var f: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>String?<!><!> = super.f
+}

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

@@ -22492,6 +22492,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
         runTest("compiler/testData/diagnostics/tests/j+k/KJKInheritanceGeneric.kt");
       }
 
+      @Test
+      @TestMetadata("kjkImplicitReturnType.kt")
+      public void testKjkImplicitReturnType() {
+        runTest("compiler/testData/diagnostics/tests/j+k/kjkImplicitReturnType.kt");
+      }
+
       @Test
       @TestMetadata("kjkPropertyAndExtensionProperty.kt")
       public void testKjkPropertyAndExtensionProperty() {