4 Matching Annotations
  1. Aug 2021
    1. no plans to reduce empty cases to never more aggressively to help developers exclude weird/absurd/accidental cases
    2. As a design decision, TypeScript does not collapse that type to `never` (although it could).
    3. candidate is Dog { // compiler recognizes that Dog | T can narrow to T
    4. that is, a type like {foo: never} does not itself get reduced to never even though you shouldn't be able to have a value of type {foo: never}