Enum rustc::infer::region_inference::VerifyBound
[−]
[src]
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>
[src]
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
)