On Mon, Feb 01, 2021 at 08:23:18PM +0100, Jakub Jelinek via Gcc-patches wrote:
> On Mon, Feb 01, 2021 at 01:46:13PM -0500, Ed Smith-Rowland wrote:
> > @@ -0,0 +1,8 @@
> > +// { dg-do compile { target c++23 } }
> > +
> > +#include <cstddef>
> > +#include <type_traits>
> > +
> > +static_assert(std::is_same_v<decltype(123zu), std::size_t>);
> > +static_assert(std::is_same_v<decltype(456z), std::ptrdiff_t>);
>
> Shouldn't this be std::make_signed<std::size_t>::type instead of
> std::ptrdiff_t
Or better std::make_signed_t<std::size_t> etc.
Jakub
