[Bug c++/118187] Constraints of template template parameter not checked for non-dependent arguments despite [temp.names]/8

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
The ttp's constraints can depend on outer template parameters, which I think
prevents us from being able to check its constraints before instantiation in
general?

template <typename T, typename U>
concept C = T::value;

template <typename> struct Q;

template <typename T, template <typename U> requires C<T, U> class TT>
struct A {
  TT<int> *p;
};

A<int, Q> a;