{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// include all region obligations, so this includes all cases
    /// If you DO want to keep track of pending obligations (which
    /// that care about regions) with this function, you have to