Enum VerifyBound 

pub enum VerifyBound<'db> {
    IfEq(Binder<DbInterner<'db>, VerifyIfEq<'db>>),
    OutlivedBy(Region<'db>),
    IsEmpty,
    AnyBound(Vec<VerifyBound<'db>>),
    AllBounds(Vec<VerifyBound<'db>>),
}

Describes the things that some GenericKind value G is known to outlive. Each variant of VerifyBound can be thought of as a function:

fn(min: Region) -> bool { .. }

where true means that the region min meets that G: min. (False means nothing.)

So, for example, if we have the type T and we have in scope that T: 'a and T: 'b, then the verify bound might be:

fn(min: Region) -> bool {
   ('a: min) || ('b: min)
}

This is described with an AnyRegion('a, 'b) node.

Variants

IfEq(Binder<DbInterner<'db>, VerifyIfEq<'db>>)

See VerifyIfEq docs

OutlivedBy(Region<'db>)

Given a region R, expands to the function:

fn(min) -> bool {
    R: min
}

This is used when we can establish that G: R – therefore, if R: min, then by transitivity G: min.

IsEmpty

Given a region R, true if it is 'empty.

AnyBound(Vec<VerifyBound<'db>>)

Given a set of bounds B, expands to the function:

fn(min) -> bool {
    exists (b in B) { b(min) }
}

In other words, if we meet some bound in B, that suffices. This is used when all the bounds in B are known to apply to G.

AllBounds(Vec<VerifyBound<'db>>)

Given a set of bounds B, expands to the function:

fn(min) -> bool {
    forall (b in B) { b(min) }
}

In other words, if we meet all bounds in B, that suffices. This is used when some bound in B is known to suffice, but we don’t know which.

Implementations

impl<'db> VerifyBound<'db>

pub fn must_hold(&self) -> bool

pub fn cannot_hold(&self) -> bool

pub fn or(self, vb: VerifyBound<'db>) -> VerifyBound<'db>

Trait Implementations

impl<'db> Clone for VerifyBound<'db>

fn clone(&self) -> VerifyBound<'db>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'db> Debug for VerifyBound<'db>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.