Bug Report

🔎 Search Terms

Conditional type, assigned to, assigned from, type arguments

🕗 Version & Regression Information

• This is a crash: no
• This changed between versions 4.2.3 and 4.3.5

⏯ Playground Link

Playground link with relevant code

💻 Code

function test<T extends {}>() {
    type T1 = T extends {} ? true : false;
    type T2 = T & {} extends {} ? true : false;

    const t1a: T1 = true; // Errors?
    const t2a: T2 = true; // Ok

    const t1b: true = make<T1>(); // Ok
    const t2b: true = make<T2>(); // Errors?
}

declare function make<T>(): T;

🙁 Actual behavior

1. true is not assignable to T1.
2. T2 is not assignable to true.

🙂 Expected behavior

1. true is assignable to T1.
2. T2 is assignable to true.