https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65848
Tom Honermann <tom at honermann dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Tom Honermann <tom at honermann dot net> ---
Thank you. Confirmed fixed with r222332. My resource usage compiling the test
case now closely matches the usage noted in comment 2.
(In reply to Andrew Sutton from comment #1)
> This is caused by the use of a concept outside of a requires clause -- it's
> still a bug though. The TS doesn't actually include wording that would allow
> this program to be valid.
Ah, I wasn't aware of that restriction.
> Unfortunately, the first thing people do when they have concepts it to write
> tests that statically assert them, so I've been extending the proposal to
> make that valid.
I think that is actually not so unfortunate. Statically asserting concept
models has helped me find numerous issues in my own code. I'm glad to hear the
proposal is being extended to cover this.
