{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
    /// used for region obligations to determine the precise
    /// The ID of the fn body that triggered this obligation. This is
    /// environment in which the region obligation should be evaluated