| package body Limited1_Inner is | |
| overriding procedure Finalize (X : in out Limited_Type) is | |
| begin | |
| if X.Self /= X'Unrestricted_Access then | |
| raise Program_Error with "Copied!"; | |
| end if; | |
| end; | |
| function Make_Inner return Inner_Type is | |
| begin | |
| return Inner : Inner_Type (True) do | |
| null; | |
| end return; | |
| end; | |
| end; |