{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // A projection goal holds if the alias is equal to the expected term.
        );
        self.add_goal(GoalSource::TypeRelating, goal);