1 files changed, 39 insertions, 0 deletions
diff --git a/testsuite/gna/issue2264/repro2.vhdl b/testsuite/gna/issue2264/repro2.vhdl
new file mode 100644
index 000000000..c7a8963e5
--- /dev/null
+++ b/testsuite/gna/issue2264/repro2.vhdl
@@ -0,0 +1,39 @@
+package repro2_gpkg is
+  generic (len : natural);
+
+  subtype my_nat is natural range 0 to len;
+
+  type my_rec is record
+    v : integer;
+  end record;
+
+  constant my_cst : my_rec := (v => len);
+end;
+
+package repro2_gpkgpkg is
+  generic (package pkg is new work.repro2_gpkg generic map (<>));
+
+  use pkg.all;
+  constant my2_cst : my_rec := (v => len + 1);
+end;
+
+package repro2_pkg10 is new work.repro2_gpkg generic map (len => 10);
+
+package repro2_pkgpkg10 is new work.repro2_gpkgpkg generic map (pkg => work.repro2_pkg10);
+
+
+entity repro2 is
+end;
+
+use work.repro2_pkg10.all;
+use work.repro2_pkgpkg10.all;
+
+architecture behav of repro2 is
+begin
+  process
+    variable v : my_rec;
+  begin
+    assert my2_cst.v = my_cst.v + 1 severity failure;
+    wait;
+  end process;
+end behav;