https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118060
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
here is a valid testcase with the deduction guide (and the concept changed to
be always true):
```
template<typename T>
T *begin(T *a);
template<typename T, typename T1>
concept c = true;
template<typename T>
struct S {
S() = default;
template<typename U>
requires requires (U u){ {*(begin(u))} -> c<T>; }
S(const U& u) : S(){}
};
template<class T> S(T) -> S<T>;
int main()
{
int a[2];
S s2{a};
return 0;
}
```
