{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"///"}]}
    /// information.
    /// field `region_obligations` of the `FulfillmentContext` for more
    pub body_id: LocalDefId,