{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"ocx.register_obligations(const_conditions.into_iter().map(|(trait_ref,"}]}
        ocx.register_obligations(const_conditions.into_iter().map(|(trait_ref, span)| {
            ocx.normalize(&ObligationCause::misc(call_span, body_id), param_env, const_conditions);
            Obligation::new(