{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
/// without use, which is probably unintentional and has been a source of bugs
/// `infcx.f()?;` you'll get a warning about the obligations being discarded
/// in the past.