[RFC] Max_Size aspect for tagged types

[raph-amiard]

Link to text: https://github.com/AdaCore/ada-spark-rfcs/blob/topic/max_size/considered/rfc-class-size.md

[mosteo]

I can see myself easily abusing this one to have definite classwide objects, just like tagged is sometimes used just to get dot notation. Maybe because I do think that Ada would greatly benefit from having a native way to use indefinites as definites, beyond the clunkly Indefinite_Holders.

I guess my kind-of-a-point is that this proposal seems very specific but the interest on what it does may be of a wider scope.

[raph-amiard]

@mosteo

I can see myself easily abusing this one to have definite classwide objects, just like tagged is sometimes used just to get dot notation. Maybe because I do think that Ada would greatly benefit from having a native way to use indefinites as definites, beyond the clunkly Indefinite_Holders.

I guess my kind-of-a-point is that this proposal seems very specific but the interest on what it does may be of a wider scope.

You're correct. This proposal is intended to be one of a bunch that will allow constrained versions of types that were necessarily unconstrained so far (see #97 for another example)