Trait InhabitedInvariant 

pub trait InhabitedInvariant: Invariant + Sized {
    // 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".

Implementors