What is never

never type represents type of values that will never occur.

• e.g. Return type of function that never returns.

Variables that are always within a type guard that is never true.

Represents unreachable code or ensuring type safety.