Logical conjunction of metapredicates with short-circuit expansion, meaning substitution failure in predicates after the first that gives a false type, is not an error
Definition at line 421 of file TypeList.h.