Enum rustc_trait_selection::infer::region_constraints::Constraint [−][src]
pub enum Constraint<'tcx> {
VarSubVar(RegionVid, RegionVid),
RegSubVar(&'tcx RegionKind, RegionVid),
VarSubReg(RegionVid, &'tcx RegionKind),
RegSubReg(&'tcx RegionKind, &'tcx RegionKind),
}Expand description
Represents a constraint that influences the inference process.
Variants
A region variable is a subregion of another.
RegSubVar(&'tcx RegionKind, RegionVid)A concrete region is a subregion of region variable.
Tuple Fields of RegSubVar
0: &'tcx RegionKind1: RegionVidVarSubReg(RegionVid, &'tcx RegionKind)A region variable is a subregion of a concrete region. This does not directly affect inference, but instead is checked after inference is complete.
Tuple Fields of VarSubReg
0: RegionVid1: &'tcx RegionKindRegSubReg(&'tcx RegionKind, &'tcx RegionKind)A constraint where neither side is a variable. This does not directly affect inference, but instead is checked after inference is complete.
Tuple Fields of RegSubReg
0: &'tcx RegionKind1: &'tcx RegionKindAuto 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
pub fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a 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