{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"goal.predicate.fold_with(&mut"}]}
            goal.predicate.fold_with(&mut ReplaceAliasWithInfer::new(self, source, goal.param_env));
        goal.predicate =
        self.inspect.add_goal(self.delegate, self.max_input_universe, source, goal);