| -- { dg-do compile } | |
| pragma Restrictions (No_Implicit_Heap_Allocations); | |
| package Discr3 is | |
| type T (Big : Boolean := False) is record | |
| case Big is | |
| when True => | |
| Content : Integer; | |
| when False => | |
| null; | |
| end case; | |
| end record; | |
| D : constant T := (True, 0); | |
| Var : T := D; -- OK, maximum size | |
| Con : constant T := D; -- Violation of restriction | |
| Ter : constant T := Con; -- Violation of restriction | |
| end Discr3; |