From 0db412952aa1b40062109f01e535a8b55fdaa7ed Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 28 Mar 2022 18:56:23 +0100
Subject: [PATCH] ERR

---
 src/main.rs | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 36bc06a..1253897 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -2,12 +2,18 @@ use std::sync::mpsc;
 use std::future::Future;
 use std::pin::Pin;
 
+async fn awaitpoint() { }
+
 async fn failure() {
     let (_, rx) = mpsc::channel::<()>();
-    loop {
-        while let Ok(_thing) = rx.try_recv() {
+
+        while let Ok(event) = rx.recv() {
+            while let Ok(_ignore) = rx.try_recv() {
+            }
+            eprintln!("event={:?}", event);
+            awaitpoint().await;
         }
-    }
+
 }
 
 fn main() {
-- 
2.30.2