Trait miri::VisitProvenance
source · pub trait VisitProvenance {
// Required method
fn visit_provenance(&self, visit: &mut VisitWith<'_>);
}
pub trait VisitProvenance {
// Required method
fn visit_provenance(&self, visit: &mut VisitWith<'_>);
}