Struct 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>, )

fn visit_ty(&mut self, ty: Ty<'tcx>)

type Result = ()

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

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

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

fn visit_clauses(&mut self, p: <I as Interner>::Clauses) -> Self::Result

fn visit_error( &mut self, _guar: <I as Interner>::ErrorGuaranteed, ) -> Self::Result

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