Struct rustc_infer::infer::canonical::CanonicalVarValues
source · pub struct CanonicalVarValues<'tcx> {
pub var_values: &'tcx List<GenericArg<'tcx>>,
}
Expand description
A set of values corresponding to the canonical variables from some
Canonical
. You can give these values to
canonical_value.substitute
to substitute them into the canonical
value at the right places.
When you canonicalize a value V
, you get back one of these
vectors with the original values that were replaced by canonical
variables. You will need to supply it later to instantiate the
canonicalized query response.
Fields§
§var_values: &'tcx List<GenericArg<'tcx>>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for CanonicalVarValues<'tcx>
impl<'tcx> Send for CanonicalVarValues<'tcx>
impl<'tcx> Sync for CanonicalVarValues<'tcx>
impl<'tcx> Unpin for CanonicalVarValues<'tcx>
impl<'tcx> !UnwindSafe for CanonicalVarValues<'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: 8 bytes