{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// that must be proven true at usage sites (and which can be assumed at definition site).
    /// You should probably use [`Self::predicates_of`] unless you're looking for