2 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/issue-54943.rs b/src/test/ui/issue-54943.rs
new file mode 100644
index 00000000000..c2214f57daf
--- /dev/null
+++ b/src/test/ui/issue-54943.rs
@@ -0,0 +1,7 @@
+fn foo<T: 'static>() { }
+
+fn main<'a>() {
+    return;
+
+    let x = foo::<&'a u32>();
+}
diff --git a/src/test/ui/issue-54943.stderr b/src/test/ui/issue-54943.stderr
new file mode 100644
index 00000000000..62aacee8111
--- /dev/null
+++ b/src/test/ui/issue-54943.stderr
@@ -0,0 +1,11 @@
+error[E0477]: the type `&'a u32` does not fulfill the required lifetime
+  --> $DIR/issue-54943.rs:6:13
+   |
+LL |     let x = foo::<&'a u32>();
+   |             ^^^^^^^^^^^^^^
+   |
+   = note: type must satisfy the static lifetime
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0477`.