Jens Gustedt

Yes, these are all usages of `auto` that are not foreseen as such in C23. The only possible addition to the `auto` keyword are qualifiers and attributes. The final goal...

The `%1` trick also ensures that this targets exactly integer types, for all others this expression is a constraint violation. So there would be no need of the `static_assert` part.

ah, what a crap ;-) I usually avoid to switch this kind of warning on, because I use unsigned types as they are supposed to be. You may get away...