{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// Extracts `value`, registering any obligations into `fulfill_cx`.
impl<'tcx, T> InferOk<'tcx, T> {
    pub fn into_value_registering_obligations<E: 'tcx>(