Struct rustc_privacy::FindMin

pub(crate) struct FindMin<'a, 'tcx, VL: VisibilityLike, const SHALLOW: bool> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) effective_visibilities: &'a EffectiveVisibilities,
    pub(crate) min: VL,
}

Visitor used to determine impl visibility and reachability.

Fields

tcx: TyCtxt<'tcx>

effective_visibilities: &'a EffectiveVisibilities

min: VL

Trait Implementations

impl<'a, 'tcx, VL: VisibilityLike, const SHALLOW: bool> DefIdVisitor<'tcx> for FindMin<'a, 'tcx, VL, SHALLOW>

const SHALLOW: bool = SHALLOW

const SKIP_ASSOC_TYS: bool = true

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

fn visit_def_id( &mut self, def_id: DefId, _kind: &str, _descr: &dyn Display ) -> ControlFlow<Self::BreakTy>

type BreakTy = ()

fn skeleton(&mut self) -> DefIdVisitorSkeleton<'_, 'tcx, Self>

Not overridden, but used to actually visit types and traits.

fn visit( &mut self, ty_fragment: impl TypeVisitable<TyCtxt<'tcx>> ) -> ControlFlow<Self::BreakTy>

fn visit_trait( &mut self, trait_ref: TraitRef<'tcx> ) -> ControlFlow<Self::BreakTy>

fn visit_projection_ty( &mut self, projection: AliasTy<'tcx> ) -> ControlFlow<Self::BreakTy>

fn visit_predicates( &mut self, predicates: GenericPredicates<'tcx> ) -> ControlFlow<Self::BreakTy>

fn visit_clauses( &mut self, clauses: &[(Clause<'tcx>, Span)] ) -> ControlFlow<Self::BreakTy>

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.