http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4188.pdf
Discussed in Urbana. The proposed approach was found to have some issues, authors are encouraged to continue to try and find a solution for runtime-sized types.