{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"where"}]}
    where
    pub fn project<P>(&self, base: &P, proj_elem: mir::PlaceElem<'tcx>) -> InterpResult<'tcx, P>
        P: Projectable<'tcx, M::Provenance> + From<MPlaceTy<'tcx, M::Provenance>> + std::fmt::Debug,