{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// an `InterpError`. In `rustc_mir::interpret`, we have `throw_err_*`
/// These should always be constructed by calling `.into()` on
/// macros for this.