fork(1) download

copy

struct Value
{
    template<class T>
    static constexpr T value{0};
};
 
template<typename TValue>
struct Something
{
    void x()
    {
        static_assert(TValue::template value<int> == 0, "");
    }
};
 
int main() { Something<Value>{}.x(); return 0; } 

prog.cpp: In instantiation of 'void Something<TValue>::x() [with TValue = Value]':
prog.cpp:16:35:   required from here
prog.cpp:12:51: error: 'template<class T> constexpr const T Value::value<T>' is not a function template
         static_assert(TValue::template value<int> == 0, "");
                                                   ^
prog.cpp:12:51: error: 'value<int>' is not a member of 'Value'

Standard output is empty