struct BoolWithErr {
    bool b;
    string error;
    alias b this;
}

struct Foo {}

template hasPopBack(T) {
    static if (!is(typeof(T.init.popBack)))
        enum hasPopBack = BoolWithErr(false, T.stringof~" does not have popBack");
    else
        enum hasPopBack = BoolWithErr(true,"");
}

int main()
{   
    // Fine:
    auto a = isArrayLike!Foo && isArrayLike!Foo; // false
    enum b = isArrayLike!Foo && isArrayLike!Foo; // false
    pragma(msg, typeof(a)); // bool

    // Fine:
    // Error: static assert: b is false
    static assert(b);

    // Dubious: alias this b should work
    // Error: expression isArrayLike!(Foo) of type BoolWithErr does not have a boolean value
    //   while evaluating: static assert(isArrayLike!(Foo))
    static assert(isArrayLike!Foo);

    // Bad: typeof the expression is bool
    // Error: expression isArrayLike!(Foo) && isArrayLike!Foo of type BoolWithErr does not have a boolean value
    //    while evaluating: static assert(isArrayLike!(Foo) && isArrayLike!Foo)
    static assert(isArrayLike!Foo && isArrayLike!Foo);

    return 0;
}