`x && x` should not be `NonNullable`

🔎 Search Terms

logical and, generic, NonNullable

🕗 Version & Regression Information

There has been this problem since 4.8.4 (I tried it on the playground)

⏯ Playground Link

https://www.typescriptlang.org/play/?#code/MYewdgzgLgBAZjAvDAPAFQDQD4AUAPALhjQEoksY8YAyaymAegdTV0OLMQoDlxuBXADaCAhgCNBAU3RYAUEA

💻 Code

const f = <T,>(x: T) => x && x // <T>(x: T) => NonNullable<T>

🙁 Actual behavior

Since f returns NonNullable<T>, we can make every value NonNullable, and never can be created by calling f(null).

🙂 Expected behavior

f should return T.

Additional information about the issue

No response

リンクされた TypeScript Playground の再現コードから始め、型チェッカーがジェネリックな論理 AND 式の戻り値の型をどのように推論するかを調べます。示されているジェネリック関数での動作を検証し、結果の型が報告された NonNullable と never の結果をもはや許可しないことを確認します。