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