Missing error on class extending union of incompatible constructor types

TypeScript Version: 4.2.0-dev.20210105, worked in v3.6.3, regressed in v3.7

Search Terms: is not a constructor function type

Expected behavior:

Error: Type 'typeof Base | typeof Base2' is not a constructor function type.
Or super should not be inferred as any.

Actual behavior:

No error and super: any

Related Issues:

Code

class Base {
    prop = 1;
}

class Base2 {
    other = 1;
}

const base = Boolean() ? Base : Base2;

class Derived extends base { // ExpressionWithTypeArguments is inferred as 'any', expected error "Type 'typeof Base | typeof Base2' is not a constructor function type."
    static fn() {
        super.wargarbl.wat; // super is inferred as 'any'
    }
    fn() {
        super.wargarbl.wat; // super is inferred as 'any'
    }
}

{
  "compilerOptions": {
    "noImplicitAny": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true,
    "strictPropertyInitialization": true,
    "strictBindCallApply": true,
    "noImplicitThis": true,
    "noImplicitReturns": true,
    "alwaysStrict": true,
    "esModuleInterop": true,
    "declaration": true,
    "experimentalDecorators": true,
    "emitDecoratorMetadata": true,
    "moduleResolution": 2,
    "target": "ES2017",
    "jsx": "React",
    "module": "ESNext"
  }
}

Playground Link: Provided

TypeScript のコード例と提供されている Playground のリンクから始め、バージョン 3.6.3、3.7、4.2.0-dev の間で報告された動作を比較します。class Derived extends base に対する欠落している診断を再現し、互換性のないコンストラクターの共用体が、super を any として推論せずに拒否されることを確認します。