{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
    /// for each body-id in this map, which will process the
    /// [`InferCtxt::process_registered_region_obligations`]
    /// obligations within. This is expected to be done 'late enough'