Enum rustc::infer::region_inference::VerifyBound

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

🔬 This is a nightly-only experimental API. (rustc_private)

Variants

AnyRegion(Vec<&'tcx Region>)

🔬 This is a nightly-only experimental API. (rustc_private)

AllRegions(Vec<&'tcx Region>)

🔬 This is a nightly-only experimental API. (rustc_private)

AnyBound(Vec<VerifyBound<'tcx>>)

🔬 This is a nightly-only experimental API. (rustc_private)

AllBounds(Vec<VerifyBound<'tcx>>)

🔬 This is a nightly-only experimental API. (rustc_private)

Methods

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

fn must_hold(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

fn cannot_hold(&self) -> bool

🔬 This is a nightly-only experimental API. (rustc_private)

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

🔬 This is a nightly-only experimental API. (rustc_private)

fn and(self, vb: VerifyBound<'tcx>) -> VerifyBound<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

Trait Implementations

impl<'tcx> Debug for VerifyBound<'tcx>

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

Formats the value using the given formatter.