https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51817
Hubert Tong <hstong at ca dot ibm.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #3 from Hubert Tong <hstong at ca dot ibm.com> ---
(In reply to Martin Sebor from comment #2)
> As I understand the complaint it is about rejecting what's thought to be
> valid code, so the Keywords should be "rejects-valid" (not "accepts-invalid"
> or "wrong-code").
Overload resolution is involved, all three tags would apply (depending on the
set of candidates).
>
> I also note that the most recent versions of Clang and the EDG front end
> both reject the example. (I haven't re-read the referenced paper or checked
> the latest standard to say if the code really is valid.)
Based on the notes from CWG 1763, I am cancelling this.
