An opaque type alias to declare "into" parameter types that allow implicit conversions on corresponding arguments. If the expected type of an expression t is into[T], implicit conversions are tried from the type of t to T. into[T] types are erased to T in all covariant positions of the types of parameter symbols.
An opaque type alias to declare "into" parameter types that allow implicit conversions on corresponding arguments. If the expected type of an expression t is into[T], implicit conversions are tried from the type of t to T. into[T] types are erased to T in all covariant positions of the types of parameter symbols.