Enum rustc_infer::infer::lexical_region_resolve::VarValue
source · pub(crate) enum VarValue<'tcx> {
Empty(UniverseIndex),
Value(Region<'tcx>),
ErrorValue,
}
Variants§
Empty(UniverseIndex)
Empty lifetime is for data that is never accessed. We tag the
empty lifetime with a universe – the idea is that we don’t
want exists<'a> { forall<'b> { 'b: 'a } }
to be satisfiable.
Therefore, the 'empty
in a universe U
is less than all
regions visible from U
, but not less than regions not visible
from U
.
Value(Region<'tcx>)
ErrorValue
Trait Implementations§
impl<'tcx> Copy for VarValue<'tcx>
Auto Trait Implementations§
impl<'tcx> RefUnwindSafe for VarValue<'tcx>
impl<'tcx> Send for VarValue<'tcx>
impl<'tcx> Sync for VarValue<'tcx>
impl<'tcx> Unpin for VarValue<'tcx>
impl<'tcx> UnwindSafe for VarValue<'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: 16 bytes
Size for each variant:
Empty
: 4 bytesValue
: 12 bytesErrorValue
: 0 bytes