From 7dcd424a72dbfe053b89df533c48bf190f7b8f4a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 28 Mar 2022 18:47:58 +0100
Subject: [PATCH] W

---
 src/main.rs | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index af3ef28..318d67e 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,11 +1,12 @@
-trait Trait { }
-struct Struct;
-impl Trait for Struct { }
+use std::sync::mpsc;
 
-fn optmap(s: Option<&Struct>) -> Option<&dyn Trait> {
-    s.map(|s| s as _)
+async fn failure() {
+    let (_, rx) = mpsc::channel::<()>();
+    while let Ok(Some(thing)) = rx.try_recv() {
+    }
 }
 
+#[tokio::main]
 fn main() {
-    optmap(None);
+    failure().await;
 }
-- 
2.30.2