1 2 3 4 5 6 7
-- { dg-do compile } package body Iface2 is procedure change (This, That : Prot.Any_Future) is begin null; end; end Iface2;