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

Beginnen Sie mit der TypeScript 3.8.3-Playground-Reproduktion und dem im Issue gezeigten Vergleich des TreeSet-Konstruktors. Verfolgen Sie die Diagnose des Compilers für den Vergleich zwischen dem generischen Konstruktor-Typ und NumberConstructor, prüfen Sie anschließend das Verhalten anhand des bereitgestellten Beispiels und stellen Sie sicher, dass die False-Positive-Diagnose nicht mehr erscheint.