Verifies, that the given code path is never reached.
type Shape = Circle | Square;function area(s: Shape): number { switch(s.type) { case 'circle': return Math.PI * s.radius ** 2; case 'square': return s.sideLength ** 2; default: return assertUnreachable(s); // ensures that all cases are covered }} Copy
type Shape = Circle | Square;function area(s: Shape): number { switch(s.type) { case 'circle': return Math.PI * s.radius ** 2; case 'square': return s.sideLength ** 2; default: return assertUnreachable(s); // ensures that all cases are covered }}
Verifies, that the given code path is never reached.