{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"goal.with(cx,"}]}
                goal.with(cx, ty::NormalizesTo { alias, term }),
                GoalSource::TypeRelating,
            );