{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"type"}]}
    type V: Projectable<'tcx, M::Provenance> + From<MPlaceTy<'tcx, M::Provenance>>;
pub trait ValueVisitor<'tcx, M: Machine<'tcx>>: Sized {