{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// environment in which the region obligation should be evaluated
    /// used for region obligations to determine the precise
    /// (in particular, closures can add new assumptions). See the