Re: [boost] [GSoC] [Boost.Hana] Formal review request

On 3/08/2014 5:58 PM, Roland Bock wrote:

namespace detail { template struct wrong { using type = std::false_type; }; } template using wrong_t = typename detail::wrong::type;

It can be used to defer static_assert until a template is instantiated which is an error since it is prohibited:

// disabled default case, slightly shortened from [2]

template struct serializer_t { static_assert(wrong_t::value, "missing serializer specialization"); };

I saw this in your "template toffees" talk and I wondered then whether it wouldn't be simpler to do this: template struct serializer_t { static_assert(deferred_false, "missing serializer specialization"); }; --- Michael