https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105289
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords|ice-on-valid-code |ice-on-invalid-code
--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
(In reply to Michael Steinberg from comment #2)
> Created attachment 52851 [details]
> Working modified partial specialization
>
> After the related issue was pointed out, it too made me curious whether my
> code is valid, that is whether the partial specialization is truly more
> specialized than the primary template.
> So I modified the specialization so that Arg is at least as constrained as
> in the primary template - et voila, the ICE is gone and the code is accepted.
> This makes me believe that the classification 'ice-on-valid-code' may not be
> true after all?
I suppose ice-on-invalid-code might be the more convenient classification since
after the above patch we now just reject the original testcase instead of
crashing. This way the question of validity is left entirely to PR86193.
