tests/pos/t7022.scala


1
2
3
4
5
6
7
8
9

class Catch[+T] {
    def either[U >: T](body: => U): Either[Throwable, U] = ???
}

object Test {
    implicit class RichCatch[T](val c: Catch[T]) extends AnyVal {
      def validation[U >: T](u: => U): Either[Throwable, U] = c.either(u)
    }
}