{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"c.eval(*self.tcx,"}]}
            c.eval(*self.tcx, self.typing_env, const_.span).map_err(|err| {
                self.instantiate_from_current_frame_and_normalize_erasing_regions(const_.const_)?;
                err.emit_note(*self.tcx);