types 'new (...args: any) => E' and wrapper types constructor for primitive types have no overlap

TypeScript Version: 3.8.3

Code

class TreeSet<E> {
    constructor(elementType: new(...args: any) => E) {
        if (elementType === Number) { //This condition will always return 'false' since the types 'new (...args: any) => E' and 'NumberConstructor' have no overlap.(2367)
            console.log("hello")
        }
    }
}

new TreeSet(Number)

Actual behavior:
The error is prompted at compile time "This condition will always return 'false' since the types 'new (...args: any) => E' and 'NumberConstructor' have no overlap.(2367)" but compiled code actually runs correctly.

Playground Link:
https://www.typescriptlang.org/play/?ssl=9&ssc=20&pln=1&pc=1#code/MYGwhgzhAEAqBOBTRBlRAXAPAUQHzQG8AoaU6YAewDsJ14BXYdC+ACkREQFtEr1YAngAdEALmhVEAd1YA6eWHgBzCOLBUBASmgBefNm3Eyx6AEsAZtHacefQSN06d0AHL0uAI0TxDJE-8oaCk5ZEAolVgAiAAsOMMjNP38AXyToVNSiSSk4JFQMVjdPb00gA

Inizia con la riproduzione nel playground di TypeScript 3.8.3 e il confronto del costruttore di TreeSet mostrato nell’issue. Traccia la diagnostica del compilatore per il confronto tra il tipo di costruttore generico e NumberConstructor, quindi verifica il comportamento con l’esempio fornito e assicurati che la diagnostica del falso positivo non compaia più.