blob: c3ed30914d887dcc20effa51cb96398341cf8738 [file] [log] [blame]
// { dg-do compile { target concepts } }
template<typename T, typename U = T> concept C3 = true;
template<class T> struct s1
{
template <C3<T> U> void f() { }
};