K2: reproduce KT-58579

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

@@ -0,0 +1,19 @@
+// ISSUE: KT-58579
+// FILE: Invariant.java
+public class Invariant<T> {}
+
+// FILE: Generic.java
+public class Generic<T> {
+    public class Inner {}
+    public static Invariant<? extends Generic.Inner> foo() {
+        return null;
+    }
+}
+
+// FILE: Main.kt
+fun main() {
+    val value = Generic.foo()
+    <!NEW_INFERENCE_ERROR!>value.bar()<!>
+}
+
+fun <T> T.bar() {}

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

@@ -0,0 +1,19 @@
+// ISSUE: KT-58579
+// FILE: Invariant.java
+public class Invariant<T> {}
+
+// FILE: Generic.java
+public class Generic<T> {
+    public class Inner {}
+    public static Invariant<? extends Generic.Inner> foo() {
+        return null;
+    }
+}
+
+// FILE: Main.kt
+fun main() {
+    val value = Generic.foo()
+    value.bar()
+}
+
+fun <T> T.bar() {}