blob: b22b949593b9234559faca21efe647b88f159298 [file] [log] [blame]
-- { dg-do run }
with System;
procedure Interface1 is
package Pkg is
type I1 is interface;
type Root is tagged record
Data : string (1 .. 300);
end record;
type DT is new Root and I1 with null record;
end Pkg;
use Pkg;
use type System.Address;
Obj : DT;
procedure IW (O : I1'Class) is
if O'Address /= Obj'Address then
raise Program_Error;
end if;
end IW;
IW (Obj);
end Interface1;