the types 'T' and 'typeof Class' have no overlap

Bug Report

🔎 Search Terms

template class no overlap label:Bug

🕗 Version & Regression Information

4.3.4 / 4.4.0-dev.20210617 / Nightly Playground

⏯ Playground Link

Playground Link

💻 Code

class Class {
    dummy = 0;
}


function test<T>(a:T):void{
    if (a === Class) {} // This condition will always return 'false' since the types 'T' and 'typeof Class' have no overlap.ts(2367)
}

🙁 Actual behavior

ts2367 error. a can be Class

🙂 Expected behavior

no error. a can be Class

リンクされた Playground から始め、ジェネリックな test の例と typeof Class との比較を使って診断 ts2367 を再現してください。重なりがないというエラーを報告する型チェックの経路を追跡し、その後、T が Class になり得る場合に比較が受け入れられることを示す回帰テストを追加してください。