Trait rustc_middle::ty::structural_impls::PredicateVisitor

pub(super) trait PredicateVisitor<'tcx>: TypeVisitor<'tcx> {
    fn visit_predicate(&mut self, predicate: Predicate<'tcx>) -> bool;
}

Required methods

fn visit_predicate(&mut self, predicate: Predicate<'tcx>) -> bool

Loading content...

Implementors

impl<'tcx> PredicateVisitor<'tcx> for HasEscapingVarsVisitor

fn visit_predicate(&mut self, predicate: Predicate<'tcx>) -> bool

impl<'tcx> PredicateVisitor<'tcx> for HasTypeFlagsVisitor

fn visit_predicate(&mut self, predicate: Predicate<'tcx>) -> bool

impl<T: TypeVisitor<'tcx>, 'tcx> PredicateVisitor<'tcx> for T

default fn visit_predicate(&mut self, predicate: Predicate<'tcx>) -> bool

Loading content...