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

Subject: Re: [boost] [GSoC] [Boost.Hana] Formal review request
From: Roland Bock (rbock_at_[hidden])
Date: 2014-08-02 02:11:42

On 2014-08-01 18:46, Eric Niebler wrote:
> Then you can use it like a constexpr Boolean function in enable_if,
> which can be conveniently wrapped in a simple macro like:
>
>     template<typename I, CONCEPT_REQUIRES_(BidirectionalIterator<I>())>
>     void advance(I i, iterator_difference_t<I> n)
>     {
>         // ...
>     }
Really nice! But won't work with variadic templates, would it? Since I
cannot do something like

template<typename... T, CONCEPT_REQUIRES_(BidirectionalIterator<T...>())>

Cheers,

Roland