Enum rustc_infer::infer::region_constraints::Constraint
source · pub enum Constraint<'tcx> {
VarSubVar(RegionVid, RegionVid),
RegSubVar(Region<'tcx>, RegionVid),
VarSubReg(RegionVid, Region<'tcx>),
RegSubReg(Region<'tcx>, Region<'tcx>),
}
Expand description
Represents a constraint that influences the inference process.
Variants
VarSubVar(RegionVid, RegionVid)
A region variable is a subregion of another.
RegSubVar(Region<'tcx>, RegionVid)
A concrete region is a subregion of region variable.
VarSubReg(RegionVid, Region<'tcx>)
A region variable is a subregion of a concrete region. This does not directly affect inference, but instead is checked after inference is complete.
RegSubReg(Region<'tcx>, Region<'tcx>)
A constraint where neither side is a variable. This does not directly affect inference, but instead is checked after inference is complete.
Implementations
sourceimpl Constraint<'_>
impl Constraint<'_>
pub fn involves_placeholders(&self) -> bool
Trait Implementations
sourceimpl<'tcx> Clone for Constraint<'tcx>
impl<'tcx> Clone for Constraint<'tcx>
sourcefn clone(&self) -> Constraint<'tcx>
fn clone(&self) -> Constraint<'tcx>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl<'tcx> Debug for Constraint<'tcx>
impl<'tcx> Debug for Constraint<'tcx>
sourceimpl<'tcx> Ord for Constraint<'tcx>
impl<'tcx> Ord for Constraint<'tcx>
sourcefn cmp(&self, other: &Constraint<'tcx>) -> Ordering
fn cmp(&self, other: &Constraint<'tcx>) -> Ordering
1.21.0 · sourcefn max(self, other: Self) -> Self
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
1.21.0 · sourcefn min(self, other: Self) -> Self
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl<'tcx> PartialEq<Constraint<'tcx>> for Constraint<'tcx>
impl<'tcx> PartialEq<Constraint<'tcx>> for Constraint<'tcx>
sourcefn eq(&self, other: &Constraint<'tcx>) -> bool
fn eq(&self, other: &Constraint<'tcx>) -> bool
sourceimpl<'tcx> PartialOrd<Constraint<'tcx>> for Constraint<'tcx>
impl<'tcx> PartialOrd<Constraint<'tcx>> for Constraint<'tcx>
sourcefn partial_cmp(&self, other: &Constraint<'tcx>) -> Option<Ordering>
fn partial_cmp(&self, other: &Constraint<'tcx>) -> Option<Ordering>
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl<'tcx> Copy for Constraint<'tcx>
impl<'tcx> Eq for Constraint<'tcx>
impl<'tcx> StructuralEq for Constraint<'tcx>
impl<'tcx> StructuralPartialEq for Constraint<'tcx>
Auto Trait Implementations
impl<'tcx> RefUnwindSafe for Constraint<'tcx>
impl<'tcx> Send for Constraint<'tcx>
impl<'tcx> Sync for Constraint<'tcx>
impl<'tcx> Unpin for Constraint<'tcx>
impl<'tcx> UnwindSafe for Constraint<'tcx>
Blanket Implementations
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes
Size for each variant:
VarSubVar
: 8 bytesRegSubVar
: 12 bytesVarSubReg
: 12 bytesRegSubReg
: 20 bytes