libasync: Sockets::run() returns !

experiments/src/main.rs

@@ -261,7 +261,7 @@ pub fn main_core0() {
     Sockets::run(&mut iface, || {
         time += 1;
         Instant::from_millis(time)
-    });
+    })
 }
 
 static CORE1_REQ: Mutex<Option<sync_channel::Receiver<usize>>> = Mutex::new(None);

libasync/src/smoltcp/mod.rs

@@ -44,14 +44,14 @@ impl Sockets {
     pub fn run<'b, 'c, 'e, D: for<'d> Device<'d>>(
         iface: &mut EthernetInterface<'b, 'c, 'e, D>,
         mut get_time: impl FnMut() -> Instant,
-    ) {
+    ) -> ! {
         task::block_on(async {
             loop {
                 let instant = get_time();
                 Self::instance().poll(iface, instant);
                 task::r#yield().await;
             }
-        });
+        })
     }
 
     pub(crate) fn instance() -> &'static Self {