[RFC] Class wide subtype constraints - Githubissues

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

63 stars 28 forks source link

[RFC] Class wide subtype constraints #69

Open reznikmm opened 3 years ago

reznikmm commented 3 years ago

Link to text: https://github.com/reznikmm/ada-spark-rfcs/blob/class_wide_subtype/considered/rfc-class-wide-access-subtype.rst