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

Commencez par la reproduction dans le playground de TypeScript 3.8.3 et la comparaison du constructeur de TreeSet présentée dans l’issue. Suivez le diagnostic du compilateur pour la comparaison entre le type de constructeur générique et NumberConstructor, puis vérifiez le comportement avec l’exemple fourni et assurez-vous que le diagnostic de faux positif n’apparaît plus.