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

logic

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