https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85991
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Target Milestone|--- |9.0
Resolution|--- |FIXED
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #1)
> No ICE with current trunk:
Using -std=c++17 -fconcepts (as the syntax for concepts slightly changed):
<source>:3:10: error: 'TmplC' does not constrain a type
3 | void f(A<TmplC<0>> *);
| ^~~~~~~
<source>:1:56: note: concept defined here
1 | template <template <typename> class, int> concept bool TmplC = true;
| ^~~~~
<source>:3:10: error: wrong number of template arguments (1, should be 2)
3 | void f(A<TmplC<0>> *);
| ^~~~~~~
<source>:1:56: note: provided for 'template<template<class>
class<template-parameter-1-1>, int <anonymous> > concept const bool TmplC<
<template-parameter-1-1>, <anonymous> >'
1 | template <template <typename> class, int> concept bool TmplC = true;
| ^~~~~
<source>:3:10: error: wrong number of template arguments (1, should be 2)
3 | void f(A<TmplC<0>> *);
| ^~~~~~~
<source>:1:56: note: provided for 'template<template<class>
class<template-parameter-1-1>, int <anonymous> > concept const bool TmplC<
<template-parameter-1-1>, <anonymous> >'
1 | template <template <typename> class, int> concept bool TmplC = true;
| ^~~~~
<source>:3:17: error: template argument 1 is invalid
3 | void f(A<TmplC<0>> *);
| ^~
Compiler returned: 1
So I think we can close this as fixed.
I could not reproduce the ICE in released version of GCC 9.1 either.
