{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
    /// Returns the explicitly user-written *predicates* of the definition given by `DefId`
    /// that must be proven true at usage sites (and which can be assumed at definition site).