This is a mini-proposal which is accepted as part of #9938.

This compiler and standard library need some changes to obey this rule.