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.
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