[lifthrasiir]

As others pointed out, TypeScript sometimes reasons `string & object` or similar as an impossible type and can turn it into `never` at any time. I don't exactly recall whether `infer` triggered that or it was a separate issue, but that was a major problem in my experience.

[presentation]

FWIW I’ve been using branded types for years and never had this issue.