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§
source§impl Constraint<'_>
impl Constraint<'_>
pub fn involves_placeholders(&self) -> bool
Trait Implementations§
source§impl<'tcx> Clone for Constraint<'tcx>
impl<'tcx> Clone for Constraint<'tcx>
source§fn clone(&self) -> Constraint<'tcx>
fn clone(&self) -> Constraint<'tcx>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<'tcx> Debug for Constraint<'tcx>
impl<'tcx> Debug for Constraint<'tcx>
source§impl<'tcx> Ord for Constraint<'tcx>
impl<'tcx> Ord for Constraint<'tcx>
source§fn cmp(&self, other: &Constraint<'tcx>) -> Ordering
fn cmp(&self, other: &Constraint<'tcx>) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl<'tcx> PartialEq<Constraint<'tcx>> for Constraint<'tcx>
impl<'tcx> PartialEq<Constraint<'tcx>> for Constraint<'tcx>
source§fn eq(&self, other: &Constraint<'tcx>) -> bool
fn eq(&self, other: &Constraint<'tcx>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<'tcx> PartialOrd<Constraint<'tcx>> for Constraint<'tcx>
impl<'tcx> PartialOrd<Constraint<'tcx>> for Constraint<'tcx>
source§fn partial_cmp(&self, other: &Constraint<'tcx>) -> Option<Ordering>
fn partial_cmp(&self, other: &Constraint<'tcx>) -> Option<Ordering>
1.0.0 · source§fn 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§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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