[ 2021-09-20; Reflector poll ]

Set priority to 3 after reflector poll.

We do not specify whether or not short-circuiting is expected to happen for individual conditions stated in a Constraints: element. For example, [tuple.cnstr] p12 says:

Constraints: sizeof...(Types) equals sizeof...(UTypes) and sizeof...(Types) ≤ 1 and is_constructible_v<T_i , U_i> is true for all i.

It's not even possible to test the is_constructible part unless the first part is true, so presumably it is expected that the sizeof... expressions are tested first, and so the is_constructible traits don't even need to be instantiated.

In some cases it might be user observable whether short circuiting happens, as whether later conditions are tested might affect whether errors outside the immediate context are permitted or not.

We should clarify what is intended, and refactor any Constraints: elements that are special cases where something different is required.