{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"_ecx:"}]}
        _ecx: &InterpCx<'tcx, Self>,
    fn after_local_read(
        _frame: &Frame<'tcx, Self::Provenance, Self::FrameExtra>,