[Bug c++/50837] [c++0x] static_assert and constexpr in template class

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50837

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paolo.carlini at oracle dot
                   |                            |com

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-26 00:03:24 UTC ---
In fact, I checked that when z isn't a template, we call finish_id_expression
from cp_parser_primary_expression (instead of tsubst_copy_and_build) with the
same arguments, except allow_non_integral_constant_expression_p is true, thus
my experiment of yesterday makes a bit of sense...

Now I'm a bit concerned that template/nontype13.C becomes rejected with a very
different error message, not talking anymore about constant-expression,
instead:

nontype13.C:14:5: error: could not convert template argument
‘((Dummy<int>*)this)->Dummy<T>::evil<int>’ to ‘bool’

this change is actually the only visible regression in the testsuite.