{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
    /// that must be proven true at definition site (and which can be assumed at usage sites).
    /// Returns the (elaborated) *bounds* on the associated or opaque type given by `DefId`
    ///