>[temp.constr.atomic] p3 says the satisfaction check includes
>the substitution step
Yes, but a failed substitution does not make the satisfaction check
ill-formed; it just means the constraint is not satisfied, so the
current wording does not cover this case.