Never type
A never type is a type of an expression that should not be evaluated in the encapsulating block,
but should cause a flow control change - this may be caused by return or break statements.
A never type is a type of an expression that should not be evaluated in the encapsulating block,
but should cause a flow control change - this may be caused by return or break statements.