15 Library introduction [library]

15.5 Library-wide requirements [requirements]

15.5.4 Constraints on programs [constraints]

15.5.4.12 Semantic requirements [res.on.requirements]

If the semantic requirements of a declaration's constraints ([structure.requirements]) are not satisfied at the point of use, the program is ill-formed, no diagnostic required.