Trait InhabitedInvariant 

pub trait InhabitedInvariant: Invariant {
    // Required method
    fn inhabits() -> Self;
}

A type implements InhabitedInvariants when its type invariant is inhabited. This is needed to define subset types.

Required Methods

fn inhabits() -> Self

ensures

result.invariant()

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