https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109860
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |8.1.0
Summary|ICE: in make_typename_type, |ICE: in make_typename_type
|at cp/decl.cc:4268 |with redudant template in
| |requires with typename
Keywords|ice-on-invalid-code |ice-on-valid-code
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This code is valid as far as I Know.
Reduced testcase:
```
namespace t {
template<class T>
struct tuple {};
}
template<class T>
concept C = requires {
typename t::template tuple<T>;
};
```
clang accepts the code. the template there is not needed but should be ok.
