{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"cx,"}]}
            cx,
        for clause in elaborate::elaborate(
            cx.explicit_implied_const_bounds(alias_ty.def_id)