[FE 1.0] Don't fail with exception on unresolved type with type argument

^KT-50223 Fixed

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

@@ -13356,6 +13356,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedOperation.kt");
             }
 
+            @Test
+            @TestMetadata("unresolvedTypeWithTypeArguments.kt")
+            public void testUnresolvedTypeWithTypeArguments() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedTypeWithTypeArguments.kt");
+            }
+
             @Test
             @TestMetadata("variableDeclarationInSelector.kt")
             public void testVariableDeclarationInSelector() throws Exception {

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

@@ -13356,6 +13356,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedOperation.kt");
             }
 
+            @Test
+            @TestMetadata("unresolvedTypeWithTypeArguments.kt")
+            public void testUnresolvedTypeWithTypeArguments() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedTypeWithTypeArguments.kt");
+            }
+
             @Test
             @TestMetadata("variableDeclarationInSelector.kt")
             public void testVariableDeclarationInSelector() throws Exception {

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

@@ -13356,6 +13356,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedOperation.kt");
             }
 
+            @Test
+            @TestMetadata("unresolvedTypeWithTypeArguments.kt")
+            public void testUnresolvedTypeWithTypeArguments() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedTypeWithTypeArguments.kt");
+            }
+
             @Test
             @TestMetadata("variableDeclarationInSelector.kt")
             public void testVariableDeclarationInSelector() throws Exception {

compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/components/CompletionModeCalculator.kt

@@ -136,10 +136,11 @@ class CompletionModeCalculator {
             fixationDirectionsCollector: MutableSet<FixationDirectionForVariable>
         ) {
             val typeArgumentsCount = type.argumentsCount()
-            if (typeArgumentsCount > 0) {
+            val typeConstructor = type.typeConstructor()
+            if (typeArgumentsCount > 0 && typeArgumentsCount == typeConstructor.parametersCount()) {
                 for (position in 0 until typeArgumentsCount) {
                     val argument = type.getArgument(position)
-                    val parameter = type.typeConstructor().getParameter(position)
+                    val parameter = typeConstructor.getParameter(position)
 
                     if (argument.isStarProjection())
                         continue

compiler/testData/diagnostics/tests/incompleteCode/unresolvedTypeWithTypeArguments.fir.kt

@@ -0,0 +1,7 @@
+abstract class MyClass {
+    abstract fun <P1> foo(): (P1) -> <!UNRESOLVED_REFERENCE!>Unknown<String><!>
+
+    private fun callTryConvertConstant() {
+        <!UNRESOLVED_REFERENCE!>println<!>(foo<String>())
+    }
+}

compiler/testData/diagnostics/tests/incompleteCode/unresolvedTypeWithTypeArguments.kt

@@ -0,0 +1,7 @@
+abstract class MyClass {
+    abstract fun <P1> foo(): (P1) -> <!UNRESOLVED_REFERENCE!>Unknown<!><String>
+
+    private fun callTryConvertConstant() {
+        <!UNRESOLVED_REFERENCE!>println<!>(foo<String>())
+    }
+}

compiler/testData/diagnostics/tests/incompleteCode/unresolvedTypeWithTypeArguments.txt

@@ -0,0 +1,10 @@
+package
+
+public abstract class MyClass {
+    public constructor MyClass()
+    private final fun callTryConvertConstant(): kotlin.Unit
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public abstract fun </*0*/ P1> foo(): (P1) -> [Error type: Unresolved type for Unknown<String>]<kotlin.String>
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}

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

@@ -13362,6 +13362,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedOperation.kt");
             }
 
+            @Test
+            @TestMetadata("unresolvedTypeWithTypeArguments.kt")
+            public void testUnresolvedTypeWithTypeArguments() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/incompleteCode/unresolvedTypeWithTypeArguments.kt");
+            }
+
             @Test
             @TestMetadata("variableDeclarationInSelector.kt")
             public void testVariableDeclarationInSelector() throws Exception {