true iff the type T can be tested in an if-expression, that is if if (pred(T.init)) {} is compilable.
See Implementation