struct Value
{
    template<class T>
    static constexpr T value{0};
};

struct Something
{
    void x()
    {
        static_assert(Value::template value<int> == 0, "");
    }
};

int main() { Something{}.x(); return 0; } 