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

source ·
struct Canonicalizer<'cx, 'tcx> {
    infcx: Option<&'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: Option<&'cx InferCtxt<'tcx>>

Set to None to disable the resolution of inference variables.

§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§

source§

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

source

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

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

source

fn canonicalize_with_base<U, V>( base: Canonical<'tcx, U>, value: V, infcx: Option<&InferCtxt<'tcx>>, tcx: TyCtxt<'tcx>, canonicalize_region_mode: &dyn CanonicalizeMode, query_state: &mut OriginalQueryValues<'tcx>, ) -> Canonical<'tcx, (U, V)>
where V: TypeFoldable<TyCtxt<'tcx>>,

source

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).

source

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.

source

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.)

source

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.

source

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.

source

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§

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> <I as Interner>::Predicate

Auto Trait Implementations§

§

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

§

impl<'cx, 'tcx> !RefUnwindSafe for Canonicalizer<'cx, 'tcx>

§

impl<'cx, 'tcx> !Send for Canonicalizer<'cx, 'tcx>

§

impl<'cx, 'tcx> !Sync for Canonicalizer<'cx, 'tcx>

§

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

§

impl<'cx, 'tcx> !UnwindSafe for Canonicalizer<'cx, 'tcx>

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T, R> CollectAndApply<T, R> for T

source§

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

source§

type Output = R

source§

impl<I, F> FallibleTypeFolder<I> for F
where I: Interner, F: TypeFolder<I>,

source§

type Error = !

source§

fn cx(&self) -> I

source§

fn try_fold_binder<T>(&mut self, t: Binder<I, T>) -> Result<Binder<I, T>, !>
where T: TypeFoldable<I>,

source§

fn try_fold_ty( &mut self, t: <I as Interner>::Ty, ) -> Result<<I as Interner>::Ty, !>

source§

fn try_fold_region( &mut self, r: <I as Interner>::Region, ) -> Result<<I as Interner>::Region, !>

source§

fn try_fold_const( &mut self, c: <I as Interner>::Const, ) -> Result<<I as Interner>::Const, !>

source§

fn try_fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> Result<<I as Interner>::Predicate, !>

source§

impl<T> Filterable for T

source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<P> IntoQueryParam<P> for P

source§

impl<T> MaybeResult<T> for T

source§

type Error = !

source§

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

source§

fn upcast(self, interner: I) -> U

source§

impl<I, T> UpcastFrom<I, T> for T

source§

fn upcast_from(from: T, _tcx: I) -> T

source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source§

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

impl<T> MaybeSendSync for T

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