fix case.

Author: ShuiRuTian

tests/baselines/reference/genericInterfacesWithoutTypeArguments.errors.txt

@@ -1,8 +1,9 @@
 tests/cases/compiler/genericInterfacesWithoutTypeArguments.ts(3,8): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
 tests/cases/compiler/genericInterfacesWithoutTypeArguments.ts(4,10): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+tests/cases/compiler/genericInterfacesWithoutTypeArguments.ts(4,10): error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
 
 
-==== tests/cases/compiler/genericInterfacesWithoutTypeArguments.ts (2 errors) ====
+==== tests/cases/compiler/genericInterfacesWithoutTypeArguments.ts (3 errors) ====
     interface I<T> { }
     class C<T> { }
     var i: I;
@@ -11,4 +12,6 @@ tests/cases/compiler/genericInterfacesWithoutTypeArguments.ts(4,10): error TS231
     var c: C<I>;
              ~
 !!! error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+             ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
 

tests/baselines/reference/genericTypeReferencesRequireTypeArgs.errors.txt

@@ -1,10 +1,12 @@
 tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts(7,9): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
 tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts(8,9): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
 tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts(9,11): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts(9,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
 tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts(10,11): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
+tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts(10,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type C 
 
 
-==== tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts (4 errors) ====
+==== tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts (6 errors) ====
     class C<T> {
        foo(): T { return null }
     }
@@ -20,7 +22,11 @@ tests/cases/compiler/genericTypeReferencesRequireTypeArgs.ts(10,11): error TS231
     var c2: C<I>; // should be an error
               ~
 !!! error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
     var i2: I<C>; // should be an error
               ~
 !!! error TS2314: Generic type 'C<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type C 
 

tests/baselines/reference/genericsWithoutTypeParameters1.errors.txt

@@ -1,11 +1,15 @@
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(9,9): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(10,9): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(11,11): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+tests/cases/compiler/genericsWithoutTypeParameters1.ts(11,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(12,11): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
+tests/cases/compiler/genericsWithoutTypeParameters1.ts(12,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type C 
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(14,17): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(14,23): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(15,20): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+tests/cases/compiler/genericsWithoutTypeParameters1.ts(15,20): error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(15,29): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
+tests/cases/compiler/genericsWithoutTypeParameters1.ts(15,29): error TS2801: Proper Polymorphism type parameter T could not accept Generic type C 
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(17,13): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(18,14): error TS2314: Generic type 'I<T>' requires 1 type argument(s).
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(21,8): error TS2314: Generic type 'C<T>' requires 1 type argument(s).
@@ -15,7 +19,7 @@ tests/cases/compiler/genericsWithoutTypeParameters1.ts(27,8): error TS2314: Gene
 tests/cases/compiler/genericsWithoutTypeParameters1.ts(31,22): error TS2314: Generic type 'A<T>' requires 1 type argument(s).
 
 
-==== tests/cases/compiler/genericsWithoutTypeParameters1.ts (15 errors) ====
+==== tests/cases/compiler/genericsWithoutTypeParameters1.ts (19 errors) ====
     class C<T> {
         foo(): T { return null }
     }
@@ -33,9 +37,13 @@ tests/cases/compiler/genericsWithoutTypeParameters1.ts(31,22): error TS2314: Gen
     var c2: C<I>;
               ~
 !!! error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
     var i2: I<C>;
               ~
 !!! error TS2314: Generic type 'C<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type C 
 
     function foo(x: C, y: I) { }
                     ~
@@ -45,8 +53,12 @@ tests/cases/compiler/genericsWithoutTypeParameters1.ts(31,22): error TS2314: Gen
     function foo2(x: C<I>, y: I<C>) { }
                        ~
 !!! error TS2314: Generic type 'I<T>' requires 1 type argument(s).
+                       ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type I 
                                 ~
 !!! error TS2314: Generic type 'C<T>' requires 1 type argument(s).
+                                ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type C 
 
     var x: { a: C } = { a: new C<number>() };
                 ~

tests/baselines/reference/missingTypeArguments1.errors.txt

@@ -2,15 +2,17 @@ tests/cases/compiler/missingTypeArguments1.ts(4,15): error TS2314: Generic type
 tests/cases/compiler/missingTypeArguments1.ts(9,26): error TS2314: Generic type 'X2<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments1.ts(14,9): error TS2314: Generic type 'X3<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments1.ts(19,11): error TS2314: Generic type 'X4<T>' requires 1 type argument(s).
+tests/cases/compiler/missingTypeArguments1.ts(19,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type X4 
 tests/cases/compiler/missingTypeArguments1.ts(24,9): error TS2314: Generic type 'X5<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments1.ts(29,15): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments1.ts(34,26): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments1.ts(39,9): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments1.ts(44,11): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
+tests/cases/compiler/missingTypeArguments1.ts(44,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type Y 
 tests/cases/compiler/missingTypeArguments1.ts(49,9): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 
 
-==== tests/cases/compiler/missingTypeArguments1.ts (10 errors) ====
+==== tests/cases/compiler/missingTypeArguments1.ts (12 errors) ====
     interface I<T> { }
     class Y<T> {}
     class X<T> {
@@ -38,6 +40,8 @@ tests/cases/compiler/missingTypeArguments1.ts(49,9): error TS2314: Generic type
         p4: I<X4>
               ~~
 !!! error TS2314: Generic type 'X4<T>' requires 1 type argument(s).
+              ~~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type X4 
     }
     var a4: X4<number>;
 
@@ -73,6 +77,8 @@ tests/cases/compiler/missingTypeArguments1.ts(49,9): error TS2314: Generic type
         p9: I<Y>
               ~
 !!! error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type Y 
     }
     var a9: X9<number>;
 

tests/baselines/reference/missingTypeArguments2.errors.txt

@@ -1,10 +1,11 @@
 tests/cases/compiler/missingTypeArguments2.ts(3,14): error TS2314: Generic type 'A<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments2.ts(4,5): error TS2314: Generic type 'A<T>' requires 1 type argument(s).
 tests/cases/compiler/missingTypeArguments2.ts(5,10): error TS2314: Generic type 'A<T>' requires 1 type argument(s).
+tests/cases/compiler/missingTypeArguments2.ts(5,10): error TS2801: Proper Polymorphism type parameter T could not accept Generic type A 
 tests/cases/compiler/missingTypeArguments2.ts(6,5): error TS2314: Generic type 'A<T>' requires 1 type argument(s).
 
 
-==== tests/cases/compiler/missingTypeArguments2.ts (4 errors) ====
+==== tests/cases/compiler/missingTypeArguments2.ts (5 errors) ====
     class A<T> { }
 
     var x: () => A;
@@ -16,6 +17,8 @@ tests/cases/compiler/missingTypeArguments2.ts(6,5): error TS2314: Generic type '
     var y: A<A>;
              ~
 !!! error TS2314: Generic type 'A<T>' requires 1 type argument(s).
+             ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type A 
     (): A => null;
         ~
 !!! error TS2314: Generic type 'A<T>' requires 1 type argument(s).

tests/baselines/reference/neverReturningFunctions1.errors.txt

@@ -21,9 +21,10 @@ tests/cases/conformance/controlFlow/neverReturningFunctions1.ts(139,9): error TS
 tests/cases/conformance/controlFlow/neverReturningFunctions1.ts(141,5): error TS7027: Unreachable code detected.
 tests/cases/conformance/controlFlow/neverReturningFunctions1.ts(148,9): error TS7027: Unreachable code detected.
 tests/cases/conformance/controlFlow/neverReturningFunctions1.ts(153,5): error TS7027: Unreachable code detected.
+tests/cases/conformance/controlFlow/neverReturningFunctions1.ts(204,74): error TS2801: Proper Polymorphism type parameter T could not accept Generic type Component 
 
 
-==== tests/cases/conformance/controlFlow/neverReturningFunctions1.ts (23 errors) ====
+==== tests/cases/conformance/controlFlow/neverReturningFunctions1.ts (24 errors) ====
     function fail(message?: string): never {
         throw new Error(message);
     }
@@ -274,6 +275,8 @@ tests/cases/conformance/controlFlow/neverReturningFunctions1.ts(153,5): error TS
     ): ComponentConstructor<T>;
 
     export type ComponentDefinition<T extends object = object> = T & Partial<Component> & ThisType<T & Component>;
+                                                                             ~~~~~~~~~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type Component 
 
     const Component = registerComponent('test-component', {
     	schema: {

tests/baselines/reference/returnTypeTypeArguments.errors.txt

@@ -19,25 +19,29 @@ tests/cases/compiler/returnTypeTypeArguments.ts(52,15): error TS2314: Generic ty
 tests/cases/compiler/returnTypeTypeArguments.ts(53,26): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(54,9): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(55,11): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
+tests/cases/compiler/returnTypeTypeArguments.ts(55,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type X 
 tests/cases/compiler/returnTypeTypeArguments.ts(56,9): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(57,15): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(58,26): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(59,9): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(60,11): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
+tests/cases/compiler/returnTypeTypeArguments.ts(60,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type Y 
 tests/cases/compiler/returnTypeTypeArguments.ts(61,9): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(65,15): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(66,26): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(67,9): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(68,11): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
+tests/cases/compiler/returnTypeTypeArguments.ts(68,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type X 
 tests/cases/compiler/returnTypeTypeArguments.ts(69,9): error TS2314: Generic type 'X<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(70,15): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(71,26): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(72,9): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 tests/cases/compiler/returnTypeTypeArguments.ts(73,11): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
+tests/cases/compiler/returnTypeTypeArguments.ts(73,11): error TS2801: Proper Polymorphism type parameter T could not accept Generic type Y 
 tests/cases/compiler/returnTypeTypeArguments.ts(74,9): error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
 
 
-==== tests/cases/compiler/returnTypeTypeArguments.ts (37 errors) ====
+==== tests/cases/compiler/returnTypeTypeArguments.ts (41 errors) ====
     class One<T>{
         value: T;
     }
@@ -135,6 +139,8 @@ tests/cases/compiler/returnTypeTypeArguments.ts(74,9): error TS2314: Generic typ
         p4: I<X>
               ~
 !!! error TS2314: Generic type 'X<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type X 
         p5: X
             ~
 !!! error TS2314: Generic type 'X<T>' requires 1 type argument(s).
@@ -150,6 +156,8 @@ tests/cases/compiler/returnTypeTypeArguments.ts(74,9): error TS2314: Generic typ
         p9: I<Y>
               ~
 !!! error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type Y 
         pa: Y
             ~
 !!! error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
@@ -168,6 +176,8 @@ tests/cases/compiler/returnTypeTypeArguments.ts(74,9): error TS2314: Generic typ
         p4: I<X>
               ~
 !!! error TS2314: Generic type 'X<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type X 
         p5: X
             ~
 !!! error TS2314: Generic type 'X<T>' requires 1 type argument(s).
@@ -183,6 +193,8 @@ tests/cases/compiler/returnTypeTypeArguments.ts(74,9): error TS2314: Generic typ
         p9: I<Y>
               ~
 !!! error TS2314: Generic type 'Y<T>' requires 1 type argument(s).
+              ~
+!!! error TS2801: Proper Polymorphism type parameter T could not accept Generic type Y 
         pa: Y
             ~
 !!! error TS2314: Generic type 'Y<T>' requires 1 type argument(s).