{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"if"}]}
        if goal.predicate.a.is_ty_var() && goal.predicate.b.is_ty_var() {
    fn compute_subtype_goal(&mut self, goal: Goal<I, ty::SubtypePredicate<I>>) -> QueryResult<I> {
            self.evaluate_added_goals_and_make_canonical_response(Certainty::AMBIGUOUS)