{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"(ty::ReVar(a),"}]}
                (ty::ReVar(a), ty::ReVar(b)) => {
            match (a.kind(), b.kind()) {
                    debug!("make_eqregion: unifying {:?} with {:?}", a, b);