TypeEqExt

object TypeEqExt
class Object
trait Matchable
class Any

Extensions

Extensions

extension [From, To](ev: From =:= To)
def substituteCoBounded[C >: From, F[_ <: C]](from: F[From]): F[To & C]