From 26a6c604788f947df5142088224b1989320ba467 Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Sun, 12 Feb 2023 17:03:37 -0500
Subject: [PATCH] Add test for typenames using constants shadowed later on

This possible edge case came up while reviewing #3555. It is currently
handled correctly, but there is no clear test coverage.
---
 tests/verilog/typedef_const_shadow.sv | 12 ++++++++++++
 tests/verilog/typedef_const_shadow.ys |  4 ++++
 2 files changed, 16 insertions(+)
 create mode 100644 tests/verilog/typedef_const_shadow.sv
 create mode 100644 tests/verilog/typedef_const_shadow.ys

diff --git a/tests/verilog/typedef_const_shadow.sv b/tests/verilog/typedef_const_shadow.sv
new file mode 100644
index 000000000..e2c331be1
--- /dev/null
+++ b/tests/verilog/typedef_const_shadow.sv
@@ -0,0 +1,12 @@
+module top;
+    localparam W = 5;
+    typedef logic [W-1:0] T;
+    T x; // width 5
+    if (1) begin : blk
+        localparam W = 10;
+        typedef T U;
+        typedef logic [W-1:0] V;
+        U y; // width 5
+        V z; // width 10
+    end
+endmodule
diff --git a/tests/verilog/typedef_const_shadow.ys b/tests/verilog/typedef_const_shadow.ys
new file mode 100644
index 000000000..ecf47181d
--- /dev/null
+++ b/tests/verilog/typedef_const_shadow.ys
@@ -0,0 +1,4 @@
+read_verilog -sv typedef_const_shadow.sv
+select -assert-count 1 w:x s:5 %i
+select -assert-count 1 w:blk.y s:5 %i
+select -assert-count 1 w:blk.z s:10 %i