https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125272
Jason Liam <jlame646 at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|DUPLICATE |FIXED
--- Comment #3 from Jason Liam <jlame646 at gmail dot com> ---
But if the reasoning given in the dupe were true then shouldn't the version
without the constraint like say `A(A<void>){}` should also be ill-formed? I
mean the dupe claims that "a certain level of well-formedness required even
before the constraints can be evaluated..." but if that were the case then the
version without the constraint `A(A<void>){}` should also be ill-formed but gcc
starts accepting the program if you remove the constraint. So, I still think
this is well-formed.