Struct rustc_trait_selection::traits::structural_match::Search

struct Search<'a, 'tcx> {
    span: Span,
    infcx: InferCtxt<'a, 'tcx>,
    seen: FxHashSet<DefId>,
}

This implements the traversal over the structure of a given type to try to find instances of ADTs (specifically structs or enums) that do not implement the structural-match traits (StructuralPartialEq and StructuralEq).

Fields

span: Span

infcx: InferCtxt<'a, 'tcx>

seen: FxHashSet<DefId>

Tracks ADTs previously encountered during search, so that we will not recur on them again.

Implementations

impl<'a, 'tcx> Search<'a, 'tcx>

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

fn type_marked_structural(&self, adt_ty: Ty<'tcx>) -> bool

Trait Implementations

impl<'a, 'tcx> TypeVisitor<'tcx> for Search<'a, 'tcx>

type BreakTy = NonStructuralMatchTy<'tcx>

fn visit_ty(&mut self, ty: Ty<'tcx>) -> ControlFlow<Self::BreakTy>

fn visit_binder<T>(
    &mut self,
    t: &Binder<'tcx, T>
) -> ControlFlow<Self::BreakTy, ()> where
    T: TypeFoldable<'tcx>, 

fn visit_region(
    &mut self,
    r: &'tcx RegionKind
) -> ControlFlow<Self::BreakTy, ()>

fn visit_const(
    &mut self,
    c: &'tcx Const<'tcx>
) -> ControlFlow<Self::BreakTy, ()>

fn visit_predicate(
    &mut self,
    p: Predicate<'tcx>
) -> ControlFlow<Self::BreakTy, ()>