{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// and later processed by regionck, when full type information is
    /// from within the scope of `body_id`. These regions are enqueued
    /// available (see `region_obligations` field for more