{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
/// want to see if a predicate holds, and don't particularly care about the
/// returned by an `ObligationCtxt` by default, and suitable if you just
/// error itself (except for if it's an ambiguity or true error).