{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
/// explicitly call `discard_err` if this is really the right thing to do. Note that if
/// Interpreter errors must *not* be silently discarded (that will lead to a panic). Instead,
/// this happens during const-eval or in Miri, it could lead to a UB error being lost!