From: Daniel Krügler (dsp_at_[hidden])
Date: 2008-05-06 09:11:44
Daniel Krügler wrote:
> Germán Diago Gómez wrote:
>
> SFINAE causes a *silent* failure during an *attempt* to instantiate
> a template. The only template here is tuple_for_each_helper which
> was already instantiated, before the actual failure could take
> place.
Usage of bad language on my side: SFINAE's power occurs during the
attempt of template argument substituition. Failing substitution
leads to failing argument deduction and this again prevents template
successful instantiation.
Greetings from Bremen,
Daniel Krügler