[NI] Complex test for "not enough" information diagnostic

compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java

@@ -8121,6 +8121,11 @@ public class FirDiagnosticsSmokeTestGenerated extends AbstractFirDiagnosticsSmok
             runTest("compiler/testData/diagnostics/tests/generics/kt1575-Function.kt");
         }
 
+        @TestMetadata("kt30590.kt")
+        public void testKt30590() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/generics/kt30590.kt");
+        }
+
         @TestMetadata("kt5508.kt")
         public void testKt5508() throws Exception {
             runTest("compiler/testData/diagnostics/tests/generics/kt5508.kt");

compiler/testData/diagnostics/tests/generics/kt30590.kt

@@ -0,0 +1,11 @@
+// !WITH_NEW_INFERENCE
+// !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE
+// !LANGUAGE: +NewInference
+// Issue: KT-30590
+
+interface A
+fun <T: A, R: T> emptyStrangeMap(): Map<T, R> = TODO()
+fun test7() : Map<A, A> = emptyStrangeMap()
+
+fun test() = emptyStrangeMap()
+

compiler/testData/diagnostics/tests/generics/kt30590.txt

@@ -0,0 +1,10 @@
+package
+
+public fun </*0*/ T : A, /*1*/ R : T> emptyStrangeMap(): kotlin.collections.Map<T, R>
+public fun test7(): kotlin.collections.Map<A, A>
+
+public interface A {
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}

compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java

@@ -8128,6 +8128,11 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTest {
                 runTest("compiler/testData/diagnostics/tests/generics/kt1575-Function.kt");
             }
 
+            @TestMetadata("kt30590.kt")
+            public void testKt30590() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/generics/kt30590.kt");
+            }
+
             @TestMetadata("kt5508.kt")
             public void testKt5508() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/generics/kt5508.kt");

compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java

@@ -8123,6 +8123,11 @@ public class DiagnosticsUsingJavacTestGenerated extends AbstractDiagnosticsUsing
                 runTest("compiler/testData/diagnostics/tests/generics/kt1575-Function.kt");
             }
 
+            @TestMetadata("kt30590.kt")
+            public void testKt30590() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/generics/kt30590.kt");
+            }
+
             @TestMetadata("kt5508.kt")
             public void testKt5508() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/generics/kt5508.kt");