https://issues.dlang.org/show_bug.cgi?id=24197

Bolpat <qs.il.paperinik@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |qs.il.paperinik@gmail.com

--- Comment #1 from Bolpat <qs.il.paperinik@gmail.com> ---
This can be done (in a limited extent) in C++20:
```cpp
#include <concepts>

template<std::integral T>
std::integral auto f(T t)
{
    return t + 1;
}
```

--

https://issues.dlang.org/show_bug.cgi?id=24197

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |b2.temp@gmx.com
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=20595

--- Comment #2 from Basile-z <b2.temp@gmx.com> ---
You'll find an alternative syntax idea in https://issues.dlang.org/show_bug.cgi?id=20595. For the functionality in itself, comment #1 suggested to use a static assert in an `out` contract.

--