From d148c79719057c4c79fa708dc5206d94b5b46e05 Mon Sep 17 00:00:00 2001 From: rustbot <47979223+rustbot@users.noreply.github.com> Date: Mon, 11 Jan 2021 03:53:09 +0100 Subject: [PATCH 1/2] Add ICE reproduction for issue rust-lang/rust#80779. --- ices/80779.rs | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 ices/80779.rs diff --git a/ices/80779.rs b/ices/80779.rs new file mode 100644 index 00000000..9d99faad --- /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() {} From 4b81424ad0216b069cf169314827b9e70ce265d5 Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Mon, 11 Jan 2021 11:56:53 +0900 Subject: [PATCH 2/2] Update ices/80779.rs --- ices/80779.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ices/80779.rs b/ices/80779.rs index 9d99faad..f945f3fd 100644 --- a/ices/80779.rs +++ b/ices/80779.rs @@ -1,7 +1,7 @@ pub struct T<'a>(&'a str); pub fn f<'a>(val: T<'a>) -> _ { - g(val) + g(val) } pub fn g(_: T<'static>) -> _ {}