Enum rustc::infer::region_inference::VerifyBound

pub enum VerifyBound {
    AnyRegion(Vec<Region>),
    AllRegions(Vec<Region>),
    AnyBound(Vec<VerifyBound>),
    AllBounds(Vec<VerifyBound>),
}

Unstable (rustc_private)

Variants

AnyRegion(Vec<Region>)

Unstable (rustc_private)

AllRegions(Vec<Region>)

Unstable (rustc_private)

AnyBound(Vec<VerifyBound>)

Unstable (rustc_private)

AllBounds(Vec<VerifyBound>)

Unstable (rustc_private)

Methods

impl<'a, 'gcx, 'tcx> VerifyBound

fn must_hold(&self) -> bool

fn cannot_hold(&self) -> bool

fn or(self, vb: VerifyBound) -> VerifyBound

fn and(self, vb: VerifyBound) -> VerifyBound

Trait Implementations

Derived Implementations

impl Debug for VerifyBound

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.