1-- { dg-do compile }
2with System.Pool_Global;
3package Storage is
4   x1: System.Pool_Global.Unbounded_No_Reclaim_Pool;
5   type T1 is access integer;
6   for T1'Storage_Pool use (x1);  -- { dg-error "must be a variable" }
7   type T2 is access Integer;
8   for T2'Storage_Pool use x1;
9end Storage;
10
11