template argument value specialisation algorithm fails for expressions

[atilaneves]

                template <int> struct Struct{};
                template<>
                struct Struct<1 + 1> {
                    static constexpr auto value = 42;
                };