On Saturday, 12 September 2015 at 19:02:16 UTC, Robert wrote:
For what it's worth, I was investigating this initially as a discussion about adding type-level values in Rust, and how to handle unusual cases like this.
C++ does not allow it. And frankly, having more than a single integer value type as a value parameter in C++ templates is a pointless PITA.
I think Go got literal constant values right: make them untyped until bound.
