diff --git a/ivtest/ivltests/sv_type_identifier_assert_item_label.v b/ivtest/ivltests/sv_type_identifier_assert_item_label.v
new file mode 100644
index 000000000..07c457622
--- /dev/null
+++ b/ivtest/ivltests/sv_type_identifier_assert_item_label.v
@@ -0,0 +1,15 @@
+// Check that assertion item labels can shadow visible type identifiers.
+
+typedef int CHECK_A;
+typedef int CHECK_B;
+
+module test;
+
+  CHECK_A: assert property (1);
+  CHECK_B: assert final (1);
+
+  initial begin
+    $display("PASSED");
+  end
+
+endmodule
diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list
index 29d877666..629ea2a94 100644
--- a/ivtest/regress-vvp.list
+++ b/ivtest/regress-vvp.list
@@ -407,6 +407,7 @@ sv_soft_packed_union_fail1	vvp_tests/sv_soft_packed_union_fail1.json
 sv_string_method_substr_too_few_arg_fail	vvp_tests/sv_string_method_substr_too_few_arg_fail.json
 sv_super_member_fail		vvp_tests/sv_super_member_fail.json
 sv_type_identifier_ams_name_fields	vvp_tests/sv_type_identifier_ams_name_fields.json
+sv_type_identifier_assert_item_label	vvp_tests/sv_type_identifier_assert_item_label.json
 sv_type_identifier_assert_label	vvp_tests/sv_type_identifier_assert_label.json
 sv_type_identifier_attribute_name	vvp_tests/sv_type_identifier_attribute_name.json
 sv_type_identifier_attribute_target	vvp_tests/sv_type_identifier_attribute_target.json
diff --git a/ivtest/vvp_tests/sv_type_identifier_assert_item_label.json b/ivtest/vvp_tests/sv_type_identifier_assert_item_label.json
new file mode 100644
index 000000000..05434ff05
--- /dev/null
+++ b/ivtest/vvp_tests/sv_type_identifier_assert_item_label.json
@@ -0,0 +1,5 @@
+{
+    "type"          : "normal",
+    "source"        : "sv_type_identifier_assert_item_label.v",
+    "iverilog-args" : [ "-g2012", "-gsupported-assertions" ]
+}