{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"goal.predicate"}]}
        goal.predicate =
    pub(super) fn add_goal(&mut self, source: GoalSource, mut goal: Goal<I, I::Predicate>) {
            goal.predicate.fold_with(&mut ReplaceAliasWithInfer::new(self, source, goal.param_env));