Struct rustc_trait_selection::infer::canonical::Canonical
source · pub struct Canonical<'tcx, V> {
pub value: V,
pub max_universe: UniverseIndex,
pub variables: &'tcx List<CanonicalVarInfo<'tcx>>,
}
Expand description
A “canonicalized” type V
is one where all free inference
variables have been rewritten to “canonical vars”. These are
numbered starting from 0 in order of first appearance.
Fields§
§value: V
§max_universe: UniverseIndex
§variables: &'tcx List<CanonicalVarInfo<'tcx>>
Trait Implementations§
source§impl<'tcx> CanonicalResponseExt for Canonical<'tcx, Response<'tcx>>
impl<'tcx> CanonicalResponseExt for Canonical<'tcx, Response<'tcx>>
fn has_no_inference_or_external_constraints(&self) -> bool
fn has_only_region_constraints(&self) -> bool
Auto Trait Implementations§
impl<'tcx, V> !RefUnwindSafe for Canonical<'tcx, V>
impl<'tcx, V> Send for Canonical<'tcx, V>where V: Send,
impl<'tcx, V> Sync for Canonical<'tcx, V>where V: Sync,
impl<'tcx, V> Unpin for Canonical<'tcx, V>where V: Unpin,
impl<'tcx, V> !UnwindSafe for Canonical<'tcx, V>
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: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.