{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"obligations.extend(util::elaborate("}]}
        obligations.extend(util::elaborate(
    if tcx.is_conditionally_const(impl_ty_def_id) {
            tcx,