This was previously an undefined order. It is now defined. Any code that you would have reviewed previously requires no additional knowledge to review now. Any

This was previously an undefined order. It is now defined. Any code that you would have reviewed previously requires no additional knowledge to review now. Any code that is depending on this new C++17 defined behavior is either pushing the cleverness ceiling, or is going to document the dependency.