[Bug c++/72842] non-type template-parameter of type void

["barry.revzin at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72842

--- Comment #4 from Barry Revzin <barry.revzin at gmail dot com> ---
I'll just email. Instantiating foo<void> creates a function template with a
non-type template parameter of type void. That's not an allowed type of a
non-type template parameter, so I think it should be ill-formed.

This would arise when doing something like "enable_if_t<something>..." for
SFINAE purposes, I just wanted a more minimal example.

If that's not the case, what allows a void non-type template parameter to
be used for parameter packs?

On Mon, Aug 8, 2016, 2:25 PM daniel.kruegler at googlemail dot com <
gcc-bugzilla@gcc.gnu.org> wrote:

> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72842
>
> --- Comment #3 from Daniel Krügler <daniel.kruegler at googlemail dot com>
> ---
> Since this is not a newsgroup, let me ask differently: Can you please
> elaborate
> what you consider as a concrete compiler defect, violating the existing
> standard? I fail to see the point.
>
> --
> You are receiving this mail because:
> You reported the bug.