1-- { dg-do compile }
2-- { dg-options "-O -gnatn" }
3
4with Taft_Type4_Pkg; use Taft_Type4_Pkg;
5
6procedure Taft_Type4 is
7  Obj : T;
8begin
9  Proc (Obj);
10end;
11