Struct rustc_privacy::FindMin
source · pub(crate) struct FindMin<'a, 'tcx, VL: VisibilityLike> {
pub(crate) tcx: TyCtxt<'tcx>,
pub(crate) effective_visibilities: &'a EffectiveVisibilities,
pub(crate) min: VL,
}Expand description
Visitor used to determine impl visibility and reachability.
Fields§
§tcx: TyCtxt<'tcx>§effective_visibilities: &'a EffectiveVisibilities§min: VLTrait Implementations§
source§impl<'a, 'tcx, VL: VisibilityLike> DefIdVisitor<'tcx> for FindMin<'a, 'tcx, VL>
impl<'a, 'tcx, VL: VisibilityLike> DefIdVisitor<'tcx> for FindMin<'a, 'tcx, VL>
fn tcx(&self) -> TyCtxt<'tcx>
fn shallow(&self) -> bool
fn skip_assoc_tys(&self) -> bool
fn visit_def_id(
&mut self,
def_id: DefId,
_kind: &str,
_descr: &dyn Display
) -> ControlFlow<Self::BreakTy>
type BreakTy = ()
source§fn skeleton(&mut self) -> DefIdVisitorSkeleton<'_, 'tcx, Self>
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<'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>
Auto Trait Implementations§
impl<'a, 'tcx, VL> !RefUnwindSafe for FindMin<'a, 'tcx, VL>
impl<'a, 'tcx, VL> !Send for FindMin<'a, 'tcx, VL>
impl<'a, 'tcx, VL> !Sync for FindMin<'a, 'tcx, VL>
impl<'a, 'tcx, VL> Unpin for FindMin<'a, 'tcx, VL>where
VL: Unpin,
impl<'a, 'tcx, VL> !UnwindSafe for FindMin<'a, 'tcx, VL>
Blanket Implementations§
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.