Struct rustc_ty_utils::ty::ImplTraitInTraitFinder

struct ImplTraitInTraitFinder<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    predicates: &'a mut Vec<Clause<'tcx>>,
    fn_def_id: DefId,
    bound_vars: &'tcx List<BoundVariableKind>,
    seen: FxHashSet<DefId>,
    depth: DebruijnIndex,
}

Walk through a function type, gathering all RPITITs and installing a NormalizesTo(Projection(RPITIT) -> Opaque(RPITIT)) predicate into the predicates list. This allows us to observe that an RPITIT projects to its corresponding opaque within the body of a default-body trait method.

Fields

tcx: TyCtxt<'tcx>

predicates: &'a mut Vec<Clause<'tcx>>

fn_def_id: DefId

bound_vars: &'tcx List<BoundVariableKind>

seen: FxHashSet<DefId>

depth: DebruijnIndex

Trait Implementations

impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ImplTraitInTraitFinder<'_, 'tcx>

fn visit_binder<T: TypeVisitable<TyCtxt<'tcx>>>( &mut self, binder: &Binder<'tcx, T> ) -> ControlFlow<Self::BreakTy>

fn visit_ty(&mut self, ty: Ty<'tcx>) -> ControlFlow<Self::BreakTy>

type BreakTy = !

fn visit_region( &mut self, _r: <I as Interner>::Region ) -> ControlFlow<Self::BreakTy, ()>

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