{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// Returns a vector of obligations for `p` and all of its
    /// ancestors, putting them into the error state in the process.