{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// field `region_obligations` of the `FulfillmentContext` for more
    /// (in particular, closures can add new assumptions). See the
    /// information.