Skip to main content

never ↔ bottom type to rep values never observed (or never return from function)

bottom type​

empty Type set to match nothing but itself; never

functions that throw Exception or always terminate execution should be annotated with never

References​

  1. bottom type ↔ empty Type set to match nothing but itself; never

  2. use ": [**_never_**](never)" for functions that ↔ should never complete execution