Re: Syntax question: new with a constrained subtype indication

[Adrien Plisson <aplisson-news@stochastique.net>]

Martin Dowie wrote:
> 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."

but this one does not forbid to write a scalar_constraint when the 
subtype_mark is a composite type...

-- 
rien