ICE - rust-lang/rust#80779 (#610)

Co-authored-by: Yuki Okushi <huyuumi.dev@gmail.com>
rust-lang · Jan 11, 2021 · 0775dea · 0775dea
1 parent e5f7e76
commit 0775dea
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/ices/80779.rs 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() {}