Trait Bool

pub trait Bool {
    // Required method
    fn reify() -> bool;
}

The True type reifies to true (as you might expect) and the False type reifies to false. If the crate is compiled with the specialization feature turned on, then an Error type is also present. When reified, the Error type panics with an error message explaining that the only way an Error type can be introduced into type-level boolean logic is through a non-Bool type being used. If specialization is on, a default implementation is also generated for all types. When reify is called on this default implementation, it panics with an error message explaining that the type is not a Bool.

Required Methods

fn reify() -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Bool for False

impl Bool for True