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

type Result = ()

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>>, ) -> Self::Result

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

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

fn visit_clauses(&mut self, clauses: &[(Clause<'tcx>, Span)]) -> 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.