Remove redundant check

runtime/sema/type.go

@@ -304,22 +304,7 @@ func CheckParameterizedTypeInstantiated(
 	typeArgs := t.TypeArguments()
 	typeParameters := t.TypeParameters()
 
-	typeArgumentCount := len(typeArgs)
-	typeParameterCount := len(typeParameters)
-
-	if typeArgumentCount != typeParameterCount {
-		report(
-			&InvalidTypeArgumentCountError{
-				TypeParameterCount: typeParameterCount,
-				TypeArgumentCount:  typeArgumentCount,
-				Range: ast.NewRange(
-					memoryGauge,
-					pos.StartPosition(),
-					pos.EndPosition(memoryGauge),
-				),
-			},
-		)
-	}
+	// The check for the argument and parameter count already happens in the checker, so we skip that here.
 
 	// Ensure that each non-optional typeparameter is non-nil.
 	for index, typeParam := range typeParameters {

runtime/tests/checker/typeargument_test.go

@@ -183,6 +183,20 @@ func TestCheckParameterizedTypeIsInstantiated(t *testing.T) {
 		require.NoError(t, err)
 	})
 
+	t.Run("InclusiveRange<Int, UInt>", func(t *testing.T) {
+
+		t.Parallel()
+
+		err := test(t,
+			"let inclusiveRange: InclusiveRange<Int, UInt> = InclusiveRange(1, 10)",
+		)
+
+		errs := RequireCheckerErrors(t, err, 2)
+
+		assert.IsType(t, &sema.InvalidTypeArgumentCountError{}, errs[0])
+		assert.IsType(t, &sema.MissingTypeArgumentError{}, errs[1])
+	})
+
 	t.Run("InclusiveRange", func(t *testing.T) {
 
 		t.Parallel()