2 ms·

C++ already had a level of dependent types for a long time. template<int N> class T; constexpr int N = f(); T<N> var;