[expr.prim.req.compound] (original) (raw)

[Example 1:

Given concepts C and D,requires { { E1 } -> C;{ E2 } -> D<A, ⋯, A>;};is equivalent torequires { E1; requires C<decltype((E1))>; E2; requires D<decltype((E2)), A, ⋯, A>;};(including in the case where n is zero).

— _end example_]