Function test_with_impl

template<
    class Pred,
    class T,
    class U>
bool
test_with_impl(
    Pred pred,
    const char* expr1,
    const char* expr2,
    const char* func,
    const char* file,
    int line,
    const T& t,
    const U& u);