{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"(&ty::Infer(ty::TyVar(a_vid)),"}]}
            (&ty::Infer(ty::TyVar(a_vid)), &ty::Infer(ty::TyVar(b_vid))) => {
        match (r_a.kind(), r_b.kind()) {
                return Err((a_vid, b_vid));