{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Represents an empty (trivially true) set of region constraints.
    /// FIXME(higher_ranked_auto): This could still just be true if there are only assumptions?