{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// error itself (except for if it's an ambiguity or true error).
/// use `ObligationCtxt::new_with_diagnostics` to get a `FulfillmentError`.