{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"Some(r)"}]}
            Some(r) => {
        match test_type_match::extract_verify_if_eq(infcx.tcx, &verify_if_eq_b, generic_ty) {
                let r_vid = self.to_region_vid(r);