Searched defs:StateDiffCollector (Results 1 – 1 of 1) sorted by relevance
500 struct StateDiffCollector<D> { struct506 impl<D> StateDiffCollector<D> { argument528 impl<'tcx, A> ResultsVisitor<'_, 'tcx, Results<'tcx, A>> for StateDiffCollector<A::Domain> implementation