{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"match"}]}
        match (r_a.kind(), r_b.kind()) {
        let r_b = self.shallow_resolve(predicate.skip_binder().b);
            (&ty::Infer(ty::TyVar(a_vid)), &ty::Infer(ty::TyVar(b_vid))) => {