{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"verify_if_eq_b:"}]}
        verify_if_eq_b: ty::Binder<'tcx, VerifyIfEq<'tcx>>,
        lower_bound: RegionVid,
    ) -> bool {