1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/env_compile_capacity.adb b/gcc/testsuite/gnat.dg/env_compile_capacity.adb
new file mode 100644
index 000000000..03d208633
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/env_compile_capacity.adb
@@ -0,0 +1,24 @@
+-- { dg-do compile }
+
+with My_Env_Versioned_Value_Set_G;
+package body Env_Compile_Capacity is
+  generic 
+    with package Env_Obj_Set_Instance is
+       new My_Env_Versioned_Value_Set_G(<>);
+    with function Updated_Entity (Value : Env_Obj_Set_Instance.Value_T)
+        return Boolean is <>;
+    with package Entity_Upd_Iteration is
+       new Env_Obj_Set_Instance.Update_G (Updated_Entity);
+  procedure Compile_G;
+  procedure Compile_G is begin null; end;
+  package My_Env_Aerodrome is
+     new My_Env_Versioned_Value_Set_G (Value_T => String);
+  function Updated_Entity (Id : in String) return Boolean is
+    begin return True; end;
+  package Iteration_Aerodrome_Arrival is
+     new My_Env_Aerodrome.Update_G (Updated_Entity);
+  procedure Aerodrome_Arrival is new Compile_G
+    (Env_Obj_Set_Instance  => My_Env_Aerodrome,
+     Updated_Entity        => Updated_Entity,
+     Entity_Upd_Iteration  => Iteration_Aerodrome_Arrival);
+end Env_Compile_Capacity;