X::Y::foo() and X::foo() are interchangeable. Inline names- paces are primarily intended for ABI compatibility across versions. Namespaces can be confusing, because they complicate the mechanics of figuring guaranteed to always be the same as the type it’s currently aliased to, or whether a more limited compatibility is intended. This lets the user know whether they can treat the types as substitutable or whether