entity repro is
end entity repro;

architecture beh of repro is
   type     t_bv_array  is array (natural range <>) of bit_vector;
   subtype  t_bv_array2  is t_bv_array(open)(15 downto 0);
begin

  process
    variable v_val_out : t_bv_array2(0 to 0);

    procedure test_proc2(test_val : out t_bv_array2) is
        variable v_val : t_bv_array2(0 to 2) := (others => (others => '0'));
    begin
        test_val := v_val(0 to test_val'length - 1);
    end procedure;

    procedure test_proc(test_val : out t_bv_array2) is
        variable v_val : t_bv_array2(0 to 0);
    begin
        test_proc2(test_val(0 to 0));
    end procedure;
  begin
    test_proc(v_val_out);
    assert false report "This should be printed" severity note;
    wait;
  end process;

end architecture beh;