From b6ac59547ccc52534b189f107819a645ceaccd62 Mon Sep 17 00:00:00 2001 From: Padraic Fanning Date: Mon, 15 Feb 2021 16:01:40 -0500 Subject: [PATCH] Add 82139 Issue: rust-lang/rust#82139 --- ices/82139.rs | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 ices/82139.rs diff --git a/ices/82139.rs b/ices/82139.rs new file mode 100644 index 00000000..f5aab923 --- /dev/null +++ b/ices/82139.rs @@ -0,0 +1,15 @@ +trait Trait { + type Associated; + fn func() -> Self::Associated; +} + +trait Bound {} +pub struct Struct; + +impl Trait for Struct { + type Associated = impl Bound; + + fn func() -> Self::Associated { + Some(42).map(|_| j) + } +}