Expand description
Type-level booleans.
Structs§
Traits§
- Bool
- The
True
type reifies totrue
(as you might expect) and theFalse
type reifies tofalse
. If the crate is compiled with thespecialization
feature turned on, then anError
type is also present. When reified, theError
type panics with an error message explaining that the only way anError
type can be introduced into type-level boolean logic is through a non-Bool
type being used. Ifspecialization
is on, a default implementation is also generated for all types. Whenreify
is called on this default implementation, it panics with an error message explaining that the type is not aBool
.