Moved tests from pending

3 files changed, 20 insertions, 5 deletions

diff --git a/tests/pos/extmethods.scala b/tests/pos/extmethods.scala
index eeab3c24f..3edfa2d75 100644
--- a/tests/pos/extmethods.scala
+++ b/tests/pos/extmethods.scala
@@ -6,11 +6,6 @@ class T[A, This <: That1[A]](val x: Int) extends AnyVal {
   def const[B](): Boolean = return true
 }
 
-final class TraversableOnceOps[+A](val collection: TraversableOnce[A]) extends AnyVal {
-  def reduceLeftOption[B >: A](op: (B, A) => B): Option[B] =
-    if (collection.isEmpty) None else Some(collection.reduceLeft[B](op))
-}
-
 class Foo[+A <: AnyRef](val xs: List[A]) extends AnyVal {
   def baz[B >: A](x: B): List[B] = ???
 }
diff --git a/tests/pos/t6482.scala b/tests/pos/t6482.scala
new file mode 100644
index 000000000..24ea38e51
--- /dev/null
+++ b/tests/pos/t6482.scala
@@ -0,0 +1,11 @@
+final class TraversableOnceOps[+A](val collection: TraversableOnce[A]) extends AnyVal {
+  def reduceLeftOption[B >: A](op: (B, A) => B): Option[B] =
+    if (collection.isEmpty) None else Some(collection.reduceLeft[B](op))
+}
+// error: type arguments [B] do not conform to method reduceLeft's type parameter bounds [B >: A]
+//            if (collection.isEmpty) None else Some(collection.reduceLeft[B](op))
+//                                                                        ^
+
+class Foo[+A <: AnyRef](val xs: List[A]) extends AnyVal {
+  def baz[B >: A](x: B): List[B] = x :: xs
+}
diff --git a/tests/pos/t7022.scala b/tests/pos/t7022.scala
new file mode 100644
index 000000000..c86602664
--- /dev/null
+++ b/tests/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)
+    }
+}