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
Currently the definition of "well-defined" just covers "the one-definition rule". However, there are many other cases that a program is ill-formed, no diagnostic required without violation of the ODR (e.g. instantiating a template when its associate constraints are satisfied but the corresponding standard concepts are not modeled).
Should we improve the wording?
The text was updated successfully, but these errors were encountered:
Currently the definition of "well-defined" just covers "the one-definition rule". However, there are many other cases that a program is ill-formed, no diagnostic required without violation of the ODR (e.g. instantiating a template when its associate constraints are satisfied but the corresponding standard concepts are not modeled).
Should we improve the wording?
The text was updated successfully, but these errors were encountered: