Solution to "statement is not reachable" depending on template variables?

[QAston via Digitalmars-d-learn]

On Wednesday, 16 March 2016 at 17:08:20 UTC, Johan Engelen wrote:
> On Wednesday, 16 March 2016 at 11:47:35 UTC, QAston wrote:
>> 
>> import std.meta;
>> template isBool(U)() = is(U == bool);
>> static if (!allSatisfy!(isBool, T)) {
>>     return true;  // no longer emits a warning
>> }
>>
>> Something like this should work.
>
> Thanks, but:
>
> On Wednesday, 16 March 2016 at 11:18:36 UTC, Johan Engelen 
> wrote:
>> (I have heavily simplified the real-world code, please don't 
>> discuss alternative solutions to the "is(U==bool)" in 
>> particular. For sake of argument, assume that the predicate is 
>> a complicated beast.)

This method will work regarless of the predicate, just check if 
the predicate isn't matched for the whole array using 
allSatisfy/anySatisfy.