Struct rustc_infer::infer::canonical::canonicalizer::Canonicalizer

struct Canonicalizer<'cx, 'tcx> {
    infcx: &'cx InferCtxt<'tcx>,
    tcx: TyCtxt<'tcx>,
    variables: SmallVec<[CanonicalVarInfo<'tcx>; 8]>,
    query_state: &'cx mut OriginalQueryValues<'tcx>,
    indices: FxHashMap<GenericArg<'tcx>, BoundVar>,
    canonicalize_mode: &'cx dyn CanonicalizeMode,
    needs_canonical_flags: TypeFlags,
    binder_index: DebruijnIndex,
}

Fields

infcx: &'cx InferCtxt<'tcx>

tcx: TyCtxt<'tcx>

variables: SmallVec<[CanonicalVarInfo<'tcx>; 8]>

query_state: &'cx mut OriginalQueryValues<'tcx>

indices: FxHashMap<GenericArg<'tcx>, BoundVar>

canonicalize_mode: &'cx dyn CanonicalizeMode

needs_canonical_flags: TypeFlags

binder_index: DebruijnIndex

Implementations

impl<'cx, 'tcx> Canonicalizer<'cx, 'tcx>

fn canonicalize<V>(
    value: V,
    infcx: &InferCtxt<'tcx>,
    tcx: TyCtxt<'tcx>,
    canonicalize_region_mode: &dyn CanonicalizeMode,
    query_state: &mut OriginalQueryValues<'tcx>
) -> Canonicalized<'tcx, V>where
    V: TypeFoldable<'tcx>,

The main canonicalize method, shared impl of canonicalize_query and canonicalize_response.

fn canonical_var(
    &mut self,
    info: CanonicalVarInfo<'tcx>,
    kind: GenericArg<'tcx>
) -> BoundVar

Creates a canonical variable replacing kind from the input, or returns an existing variable if kind has already been seen. kind is expected to be an unbound variable (or potentially a free region).

fn universe_canonicalized_variables(
    self
) -> SmallVec<[CanonicalVarInfo<'tcx>; 8]>

Replaces the universe indexes used in var_values with their index in query_state.universe_map. This minimizes the maximum universe used in the canonicalized value.

fn canonical_var_for_region_in_root_universe(
    &mut self,
    r: Region<'tcx>
) -> Region<'tcx>

Shorthand helper that creates a canonical region variable for r (always in the root universe). The reason that we always put these variables into the root universe is because this method is used during query construction: in that case, we are taking all the regions and just putting them into the most generic context we can. This may generate solutions that don’t fit (e.g., that equate some region variable with a placeholder it can’t name) on the caller side, but that’s ok, the caller can figure that out. In the meantime, it maximizes our caching.

(This works because unification never fails – and hence trait selection is never affected – due to a universe mismatch.)

fn region_var_universe(&self, vid: RegionVid) -> UniverseIndex

Returns the universe in which vid is defined.

fn canonical_var_for_region(
    &mut self,
    info: CanonicalVarInfo<'tcx>,
    r: Region<'tcx>
) -> Region<'tcx>

Creates a canonical variable (with the given info) representing the region r; return a region referencing it.

fn canonicalize_ty_var(
    &mut self,
    info: CanonicalVarInfo<'tcx>,
    ty_var: Ty<'tcx>
) -> Ty<'tcx>

Given a type variable ty_var of the given kind, first check if ty_var is bound to anything; if so, canonicalize that. Otherwise, create a new canonical variable for ty_var.

fn canonicalize_const_var(
    &mut self,
    info: CanonicalVarInfo<'tcx>,
    const_var: Const<'tcx>
) -> Const<'tcx>

Given a type variable const_var of the given kind, first check if const_var is bound to anything; if so, canonicalize that. Otherwise, create a new canonical variable for const_var.

Trait Implementations

impl<'cx, 'tcx> TypeFolder<'tcx> for Canonicalizer<'cx, 'tcx>

fn tcx<'b>(&'b self) -> TyCtxt<'tcx>

fn fold_binder<T>(&mut self, t: Binder<'tcx, T>) -> Binder<'tcx, T>where
    T: TypeFoldable<'tcx>,

fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>

fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'tcx>

fn fold_const(&mut self, ct: Const<'tcx>) -> Const<'tcx>

fn fold_predicate(&mut self, p: Predicate<'tcx>) -> Predicate<'tcx>

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: 280 bytes