{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// that must be proven true at definition site (and which can be assumed at usage sites).
    /// Bounds from the parent (e.g. with nested `impl Trait`) are not included.