Re: Syntax question: new with a constrained subtype indication

["Martin Dowie" <martin.dowie@baesystems.com>]

James Alan Farrell wrote:
> The thing is, I've read 4.8 of the *annotated* ARM and I don't see
> anything to say I cannot do this.  So what am I missing?  Is there
> something, other than that document, that spells out the allowed types
> of constraint?

What about 4.8(4):

  "An initialized allocator is an allocator with a qualified_expression. An
   uninitialized allocator is one with a subtype_indication. In the
   subtype_indication of an uninitialized allocator, a constraint is
permitted
   only if the subtype_mark denotes an unconstrained composite subtype;
   if there is no constraint, then the subtype_mark shall denote a definite
   subtype."

Cheers

-- Martin