This patch augments the existing support for tagged discriminants in assertion
expressions such as those of pragma Default_Initial_Condition or Type_Invariant
'Class by adding support for ancestor subtypes.
-- Source --
-- tester.ads
package Tester is
type Type_Id i
This patch adds support for tagged discriminants in assertion expressions such
as those of pragma Default_Initial_Condition or Type_Invariant'Class. In these
contexts, tagged discriminants behave as primitives and exhibit "overriding"-
like properties. For instance, if a derived type constrains its
This patch adds support for tagged discriminants in assertion expressions such
as those of pragma Default_Initial_Condition or Type_Invariant'Class. In these
contexts, tagged discriminants behave as primitives and exhibit "overriding"-
like properties. For instance, if a derived type constrains its
