testsuite/gna/issue1726/repro.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

package my_gpkg is
  generic (
    type data_t;
    c_default : data_t);

 constant my_constant : data_t := c_default;

end package my_gpkg;

package my_pkg_int is new work.my_gpkg
  generic map (
    data_t    => integer,
    c_default => 5);

entity ent is
end;

use work.my_pkg_int.all;
architecture behav of ent is
begin
  assert my_constant = 5 severity failure;
end;