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