Struct rustc_trait_selection::traits::structural_match::Search

struct Search<'a, 'tcx> {
    span: Span,
    infcx: InferCtxt<'a, 'tcx>,
    found: Option<NonStructuralMatchTy<'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>

found: Option<NonStructuralMatchTy<'tcx>>

Records first ADT that does not implement a structural-match trait.

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>

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

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

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

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

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