[Bug c++/89743] [concepts] ICE when using decltype(requires-expr) as type template parameter

[jason.e.cobb at gmail dot com]

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

Jason Cobb  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #3 from Jason Cobb  ---
Fixed in trunk.

[Bug c++/89743] [concepts] ICE when using decltype(requires-expr) as type template parameter

[jason.e.cobb at gmail dot com]

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

--- Comment #2 from Jason Cobb  ---
(In reply to Jonathan Wakely from comment #1)
> GCC 8 gives:
> 
> c.cc:5:23: error: expected nested-name-specifier
>  using type = typename use_type^~
>  1;
>  ~~ 
>  })>;
>  ~~~
> 
> But I think that might be because my GCC 8 builds use
> --enable-checking=release

Yes, that would actually be an error if it didn't ICE.
However, the ICE does still occur without the typename keyword.

[Bug c++/89743] [concepts] ICE when using decltype(requires-expr) as type template parameter

[redi at gcc dot gnu.org]

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

Jonathan Wakely  changed:

   What|Removed |Added

   Keywords||ice-checking
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2019-03-17
 Ever confirmed|0   |1

--- Comment #1 from Jonathan Wakely  ---
GCC 8 gives:

c.cc:5:23: error: expected nested-name-specifier
 using type = typename use_type;
 ~~~

But I think that might be because my GCC 8 builds use --enable-checking=release