this assertion should not always yield false here

[robertzk]

No description provided.

[poletti-marco]

Hi, thank you for the patch, but the code is as intended.
That template definition is only instantiated when the type argument is not of the form T(Types...).
Otherwise the specialization just below applies.
So in this case it's an error. The sizeof is just a trick to pretend that we're checking something depending on the type argument, otherwise the static_assert would be evaluated right away, not delayed at the first attempt of instantiating the non-specialized template definition.

[robertzk]

Ah -- clever!