Make Conversion.into covariant

odersky · odersky · commit 3aa1d6838f97 · 2025-05-25T13:25:30.000+02:00
diff --git a/library/src/scala/Conversion.scala b/library/src/scala/Conversion.scala
@@ -39,7 +39,7 @@ object Conversion:
    *  in all covariant positions of the types of parameter symbols.
    */
   @experimental
-  opaque type into[T] >: T = T
+  opaque type into[+T] >: T = T
 
   /** Unwrap an `into` */
   extension [T](x: into[T])
