blob: 90417fed05f1a55264a7602f0d47282d8d02f84b [file] [log] [blame]
-- { dg-do compile }
procedure Interface7 is
type I_Type is interface;
type A1_Type is tagged null record;
type A2_Type is new A1_Type and I_Type with null record;
procedure Test (X : I_Type'Class) is
begin
if X in A2_Type then -- Test
null;
end if;
end Test;
begin null; end;