> No, the type of the bounds of a subtype should be the *base type*.
> That's how the tree has always looked, as far back as I can remember.
This is because intermediate computations can produce results
outside the subtype range but within the base type range (RM 3.5(6)),
right?
No. I'm pretty sure that convention predates the Ada front end by over a
decade ...
