Subtype association in port map crashes nvc during elaboration

[augustofg]

Here is a minimal reproducible example:

library ieee;
use ieee.std_logic_1164.all;

package test_pkg is
  type t1 is record
    f1 : std_logic;
  end record t1;
  subtype t1_sub is t1;
end package;

-------------------------------
library ieee;
use ieee.std_logic_1164.all;

library work;
use work.test_pkg.all;

entity test is
  port (
    pin  : in  t1;
    pout : out t1_sub
  );
end entity;

architecture test_arch of test is
begin
  pout.f1 <= pin.f1;
end architecture;

-------------------------------
library ieee;
use ieee.std_logic_1164.all;

library work;
use work.test_pkg.all;

entity sub is
end entity;

architecture sub_arch of sub is
  signal a : t1_sub;
  signal b : t1_sub := (f1 => '0');
begin

  cmp: entity work.test
    port map (
      pin => b,
      pout => a
    );

  process
  begin
    report "b.a = " & std_logic'image(b.f1);
    wait for 1 ns;
  end process;
end architecture;

Tested with GHDL and it works as expected, but crashes with nvc during elaboration:

$ nvc --std=2008 -a nvc_subtype_test.vhd 
$ nvc --std=2008 -e sub

Name       WORK.SUB.CMP
Kind       instance
Context    WORK.SUB
Blocks     1
Registers  4
Types      7
  WORK.TEST_PKG.T1$                     {$<0..8>}
Variables  1
  PIN                                   // WORK.TEST_PKG.T1${}, signal
Begin
   0: r0 := package init WORK.TEST_PKG  // P<WORK.TEST_PKG>
      r1 := package init IEEE.STD_LOGIC_1164 // P<IEEE.STD_LOGIC_1164>
      r2 := var upref 1, B              // @<T1_SUB${}>
      r3 := index PIN                   // @<WORK.TEST_PKG.T1${}>
      r3 := copy r2	 <----

** Fatal: source and destination types do not match
[0x55fa60ba753d] 
[0x55fa60b02e42] 
[0x55fa60b9d006] 
[0x55fa60b55cab] 
[0x55fa60b5bd7d] 
[0x55fa60b5d56a] 
[0x55fa60b0ac76] 
[0x55fa60b007ca] 
[0x7feff743c78f] (/usr/lib/libc.so.6) ../sysdeps/nptl/libc_start_call_main.h:58 __libc_start_call_main
[0x7feff743c849] (/usr/lib/libc.so.6) ../csu/libc-start.c:360 __libc_start_main@@GLIBC_2.34
[0x55fa60b01954]

[nickg]

Thanks for the test case. This should be fixed now, could you try again?

[augustofg]

Works for me now. Thanks!