[Bug c++/100895] New: gcc accepts invalid template argument in partial template specialization

[hewillk at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100895

            Bug ID: 100895
           Summary: gcc accepts invalid template argument in partial
                    template specialization
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

template <bool>
using type = int;

template <class>
constexpr bool value = true;

template <class, class>
struct S {}; 

template <class T>
struct S<T, type<value<0.42>>> {};

S<int, int> s;

https://godbolt.org/z/GebosdTrM