You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We sometimes require expressions to be "valid", and sometimes require them to be "well-formed". The former is not defined at all; the latter is defined only for complete programs. We should pick one of the two, use it consistently, and make sure it has a proper definition.
Suggestion: use "well-formed", since that's the term we already define.
The text was updated successfully, but these errors were encountered:
For "valid", we are trying to hook onto [temp.deduct]/8's definition of "invalid":
If a substitution results in an invalid type or expression, type deduction fails. An invalid type or expression is one that would be ill-formed, with a diagnostic required, if written using the substituted arguments.
We sometimes require expressions to be "valid", and sometimes require them to be "well-formed". The former is not defined at all; the latter is defined only for complete programs. We should pick one of the two, use it consistently, and make sure it has a proper definition.
Suggestion: use "well-formed", since that's the term we already define.
The text was updated successfully, but these errors were encountered: