Struct VisitOpaqueTypes

struct VisitOpaqueTypes<'tcx, VarFn, OutlivesFn> {
    tcx: TyCtxt<'tcx>,
    parent_def_id: LocalDefId,
    in_scope_parameters: FxIndexMap<DefId, ParamKind>,
    variances: LazyCell<FxHashMap<DefId, Variance>, VarFn>,
    outlives_env: LazyCell<OutlivesEnvironment<'tcx>, OutlivesFn>,
    seen: FxIndexSet<LocalDefId>,
}

Fields

tcx: TyCtxt<'tcx>

parent_def_id: LocalDefId

in_scope_parameters: FxIndexMap<DefId, ParamKind>

variances: LazyCell<FxHashMap<DefId, Variance>, VarFn>

outlives_env: LazyCell<OutlivesEnvironment<'tcx>, OutlivesFn>

seen: FxIndexSet<LocalDefId>

Trait Implementations

impl<'tcx, VarFn, OutlivesFn> TypeVisitor<TyCtxt<'tcx>> for VisitOpaqueTypes<'tcx, VarFn, OutlivesFn>

where VarFn: FnOnce() -> FxHashMap<DefId, Variance>, OutlivesFn: FnOnce() -> OutlivesEnvironment<'tcx>,

fn visit_binder<T: TypeVisitable<TyCtxt<'tcx>>>(&mut self, t: &Binder<'tcx, T>)

fn visit_ty(&mut self, t: 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: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.