relationship that exists between two expressions E1 and E2 such that
E1 and E2 have the same effects,
noexcept(E1) == noexcept(E2), and
E1 is a constant subexpression if and only if E2 is a constant subexpression