Fix 4628: add compiler option for non-check static member in inheritance

src/compiler/checker.ts

@@ -34355,7 +34355,7 @@ namespace ts {
                     if (!checkTypeAssignableTo(typeWithThis, baseWithThis, /*errorNode*/ undefined)) {
                         issueMemberSpecificError(node, typeWithThis, baseWithThis, Diagnostics.Class_0_incorrectly_extends_base_class_1);
                     }
-                    else {
+                    else if(!compilerOptions.looseClassInheritanceStaticCheck) {
                         // Report static side error only when instance type is assignable
                         checkTypeAssignableTo(staticType, getTypeWithoutSignatures(staticBaseType), node.name || node,
                             Diagnostics.Class_static_side_0_incorrectly_extends_base_class_static_side_1);

src/compiler/commandLineParser.ts

@@ -759,6 +759,12 @@ namespace ts {
         },
 
         // Advanced
+        {
+            name: "looseClassInheritanceStaticCheck",
+            type: "boolean",
+            category: Diagnostics.Advanced_Options,
+            description: Diagnostics.Not_check_static_member_type_whether_incompatible_with_base_in_inheritance_class
+        },
         {
             name: "jsxFactory",
             type: "string",

src/compiler/diagnosticMessages.json

@@ -4652,7 +4652,10 @@
         "code": 6385,
         "reportsDeprecated": true
     },
-
+    "Not check static member type whether incompatible with base in inheritance class": {
+        "category": "Message",
+        "code": 6386
+    },
     "The expected type comes from property '{0}' which is declared here on type '{1}'": {
         "category": "Message",
         "code": 6500

src/compiler/types.ts

@@ -5689,6 +5689,7 @@ namespace ts {
         /*@internal*/listFiles?: boolean;
         /*@internal*/listFilesOnly?: boolean;
         locale?: string;
+        looseClassInheritanceStaticCheck?: boolean;
         mapRoot?: string;
         maxNodeModuleJsDepth?: number;
         module?: ModuleKind;

src/server/protocol.ts

@@ -3245,6 +3245,7 @@ namespace ts.server.protocol {
         jsx?: JsxEmit | ts.JsxEmit;
         lib?: string[];
         locale?: string;
+        looseClassInheritanceStaticCheck?: boolean;
         mapRoot?: string;
         maxNodeModuleJsDepth?: number;
         module?: ModuleKind | ts.ModuleKind;

src/testRunner/unittests/services/transpile.ts

@@ -279,6 +279,10 @@ var x = 0;`, {
             options: { compilerOptions: { locale: "en-us" }, fileName: "input.js", reportDiagnostics: true }
         });
 
+        transpilesCorrectly("Supports setting 'looseClassInheritanceStaticCheck'", "x;", {
+            options: { compilerOptions: { looseClassInheritanceStaticCheck: true }, fileName: "input.js", reportDiagnostics: true }
+        });
+
         transpilesCorrectly("Supports setting 'module'", "x;", {
             options: { compilerOptions: { module: ModuleKind.CommonJS }, fileName: "input.js", reportDiagnostics: true }
         });

tests/baselines/reference/api/tsserverlibrary.d.ts

@@ -2776,6 +2776,7 @@ declare namespace ts {
         keyofStringsOnly?: boolean;
         lib?: string[];
         locale?: string;
+        looseClassInheritanceStaticCheck?: boolean;
         mapRoot?: string;
         maxNodeModuleJsDepth?: number;
         module?: ModuleKind;
@@ -8921,6 +8922,7 @@ declare namespace ts.server.protocol {
         jsx?: JsxEmit | ts.JsxEmit;
         lib?: string[];
         locale?: string;
+        looseClassInheritanceStaticCheck?: boolean;
         mapRoot?: string;
         maxNodeModuleJsDepth?: number;
         module?: ModuleKind | ts.ModuleKind;

tests/baselines/reference/api/typescript.d.ts

@@ -2776,6 +2776,7 @@ declare namespace ts {
         keyofStringsOnly?: boolean;
         lib?: string[];
         locale?: string;
+        looseClassInheritanceStaticCheck?: boolean;
         mapRoot?: string;
         maxNodeModuleJsDepth?: number;
         module?: ModuleKind;

tests/baselines/reference/showConfig/Shows tsconfig for single option/looseClassInheritanceStaticCheck/tsconfig.json

@@ -0,0 +1,5 @@
+{
+    "compilerOptions": {
+        "looseClassInheritanceStaticCheck": true
+    }
+}