On 9/27/19 12:03 PM, Marek Polacek wrote:
We reject this well-formed test because the following error was triggering
even in a SFINAE context, while it should not:
https://en.cppreference.com/w/cpp/language/sfinae says that
"attempting to give an invalid type to a non-type template parameter" is
a SFINAE error.
I wonder if the tf_error check should be used more in that function.
Probably.
But
this is enough for this particular testcase.
Bootstrapped/regtested on x86_64-linux, ok for trunk?
OK.
Jason