1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/type/issue-94187-verbose-type-name.rs b/tests/ui/type/issue-94187-verbose-type-name.rs
new file mode 100644
index 000000000..3713a32eb
--- /dev/null
+++ b/tests/ui/type/issue-94187-verbose-type-name.rs
@@ -0,0 +1,16 @@
+// Check to insure that the output of `std::any::type_name` does not change based on `-Zverbose`
+// run-pass
+// edition: 2018
+// revisions: normal verbose
+// [verbose]compile-flags:-Zverbose
+
+use std::any::type_name;
+
+fn main() {
+    assert_eq!(type_name::<[u32; 0]>(), "[u32; 0]");
+
+    struct Wrapper<const VALUE: usize>;
+    assert_eq!(type_name::<Wrapper<0>>(), "issue_94187_verbose_type_name::main::Wrapper<0>");
+
+    assert_eq!(type_name::<dyn Fn(u32) -> u32>(), "dyn core::ops::function::Fn(u32) -> u32");
+}