>>197
いや規定されてる
int a[sizeof(int)]; とか
constexpr int b() { return 1; }
int c[b()]; のように、
翻訳時に評価する保証が必要なところが
ごまんとある
template <int N> void d() {}
d<sizeof(int)>();
d<b()>();