{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"self.add_goal(GoalSource::Misc,"}]}
                self.add_goal(GoalSource::Misc, goal.with(cx, ty::PredicateKind::Ambiguous));
                // This can then allow nested goals to fail after we've constrained the `term`.
                self.evaluate_added_goals_and_make_canonical_response(Certainty::Yes)