2.2.4.10 Pointer Attributes
These extensions make the following changes to the pointer attributes as defined in [C706] section 4.2.20.3.
These extensions MUST allow a pointer attribute, of the first pointer, specified at the reference site (directly in the syntax of an operation declaration) to override the pointer attribute specified at the declared site.
With these extensions, if a method returns a pointer to a type, both [unique] and [ptr] types of pointers MUST be permitted.