{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"lower_bound:"}]}
        lower_bound: RegionVid,
        generic_ty: Ty<'tcx>,
        verify_if_eq_b: ty::Binder<'tcx, VerifyIfEq<'tcx>>,