fix: coehead o coedep

Author: algebraic-dev

src/Std/Sync/StreamMap.lean

@@ -35,8 +35,8 @@ inductive AnyAsyncStream (α : Type) where
 def AnyAsyncStream.getSelector : AnyAsyncStream α → Selector α × IO Unit
   | AnyAsyncStream.mk stream => (AsyncStream.next stream, AsyncStream.stop stream)
 
-instance [AsyncStream t α] : CoeHead t (AnyAsyncStream α) where
-  coe := AnyAsyncStream.mk
+instance [AsyncStream t α] : CoeDep t x (AnyAsyncStream α) where
+  coe := AnyAsyncStream.mk x
 
 /--
 A map container that associates string keys with async streams.

tests/lean/run/async_streammap.lean

@@ -10,9 +10,9 @@ def testSimpleMessages : Async Unit := do
   let channelC ← Std.Channel.new (α := Nat)
 
   let channel := Std.StreamMap.ofArray #[
-    ("a", .mk channelA),
-    ("b", .mk channelB),
-    ("c", .mk channelC),
+    ("a", channelA),
+    ("b", channelB),
+    ("c", channelC),
   ]
 
   await (← channelC.send 1)