{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// relevant with respect to which sublifetime assumptions are in
    /// because the location where the obligation was incurred can be
    /// place. The reason that we store under the fn-id, and not