Pointer Attributes

These extensions make the following changes to the pointer attributes as defined in [C706] section

  • 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.