What is TS's Type Guard and the 'never' type?

[58] Type Guards never Type It represents values that will never occur. The “never” type is useful in situations where you have code that should never execute, such as unreachable code or code that throws an error or when we are certain that a partic...