https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96746
Marek Polacek changed:
What|Removed |Added
CC||mpolacek at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96746
Masamitsu MURASE changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96746
--- Comment #2 from Masamitsu MURASE ---
Thank you very much for your reply, Marek Polacek.
I'm sorry, but I cannot understand your comment clearly.
As you said, I also think that my example should be treated as ill-formed
program.
It **compiles
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96746
--- Comment #3 from Jonathan Wakely ---
The standard says "no diagnostic required". It's not a bug if a compiler
accepts the code.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96746
--- Comment #4 from Jakub Jelinek ---
What Marek explained is that your testcase is buggy, but it may or may not be
diagnosed, unless the template is instantiated. If you instantiate such
template, it has to be rejected by all implementations, b