Why typescript cannot infer that `type` cannot be null in this case?

Question

Why typescript cannot infer that type cannot be null in this case?

export type SomeType =
  | { type: "none" }
  | { type: "new&qu