{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
    /// into `Obligation`s, and elaborated and normalized.
    /// basically the set of bounds on the in-scope type parameters, translated
    ///