{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"goal.with(cx,"}]}
                    goal.with(cx, ty::NormalizesTo { alias: pred.alias, term: unconstrained_rhs });
                let unconstrained_goal =