Traits§
- Uninhabited
- A trait for types that cannot be instantiated.
Functions§
- unreachable_
proven - Prove that a code path is unreachable by providing an instance of an uninhabited type.
- unreachable_
proven_ into - Prove that a code path is unreachable, and produce a value of any type.