Why pass a switch default value to assertNever instead of returning "unknown"?

Why pass a switch default value to assertNever instead of returning "unknown"?

1. A newly added union member then produces a compile error until it gets a branch.
2. assertNever converts unknown runtime data into a valid union member.
3. It makes every switch branch run once.
4. It removes the discriminant from emitted JavaScript.