Add test that demonstrate that #878 is fixed

It was fixed by 2460f9603b0f0ed1d73dfea99edcee9ba6261d36

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/pos/i878.scala b/tests/pos/i878.scala
new file mode 100644
index 000000000..771ab58ce
--- /dev/null
+++ b/tests/pos/i878.scala
@@ -0,0 +1,17 @@
+class X
+
+class Message[-A]
+class Seg[+A]
+class IChan[A] {
+  def add[B >: A](x: Seg[B])(implicit ev: Message[B]): IChan[B] = ???
+}
+
+class Test {
+  def test: Unit = {
+    implicit val mx: Message[X] = ???
+    val fx: IChan[X] = ???
+    val sx: Seg[X] = ???
+    // the implicit `mx` should be used even though the type parameter of Message is contravariant
+    fx.add(sx)
+  }
+}