PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE (Ada RFC)

[Richard Kenner]

    which, contrary to your previous email, is definitely not an erroneous
    situation.  Precision is very important here!

Yes, and I'm sorry for the confusion.  However, for the purposes of this
discussion, there's no difference between erroneous and bounded error:
the issue is whether it's right to say that the only "valid" values of
the subtype are what's given by its range and that's the case whether
an invalid value would be a bounded error or erroneous.