{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// A "boring" constraint (caused by the given location) is one that
    /// the user probably doesn't want to see described in diagnostics,