diff --git a/ices/80779.rs b/ices/80779.rs
new file mode 100644
index 00000000..f945f3fd
--- /dev/null
+++ b/ices/80779.rs
@@ -0,0 +1,9 @@
+pub struct T<'a>(&'a str);
+
+pub fn f<'a>(val: T<'a>) -> _ {
+    g(val)
+}
+
+pub fn g(_: T<'static>) -> _ {}
+
+fn main() {}