1 files changed, 9 insertions, 0 deletions
diff --git a/tests/untried/pos/t7022.scala b/tests/untried/pos/t7022.scala
new file mode 100644
index 000000000..0609e2d25
--- /dev/null
+++ b/tests/untried/pos/t7022.scala
@@ -0,0 +1,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)
+	}
+}