diff --git a/tests/neg/i5327-a.scala b/tests/neg/i5327-a.scala
new file mode 100644
index 000000000000..3cc30c1263aa
--- /dev/null
+++ b/tests/neg/i5327-a.scala
@@ -0,0 +1,10 @@
+trait T
+trait SortedSetOps[CC[X], C]
+class TreeSet[A] extends SortedSetOps[TreeSet, TreeSet[A]]
+
+class Test {
+  def optionSequence1[CC[X] <: (SortedSetOps[CC, CC[X]] & T) , A](xs: CC[A]): Unit = ()
+  def test(xs2: TreeSet[String]) = {
+    optionSequence1(xs2) // error
+  }
+}
diff --git a/tests/neg/i5327-b.scala b/tests/neg/i5327-b.scala
new file mode 100644
index 000000000000..288676060e8c
--- /dev/null
+++ b/tests/neg/i5327-b.scala
@@ -0,0 +1,10 @@
+trait T
+trait SortedSetOps[CC[X], C]
+class TreeSet[A] extends SortedSetOps[[X] => (TreeSet[X] & T), TreeSet[A] & T] // error
+
+class Test {
+  def optionSequence1[CC[X] <: (SortedSetOps[CC, CC[X]] & T) , A](xs: CC[A]): Unit = ()
+  def test(xs2: TreeSet[String] & T) = {
+    optionSequence1(xs2) // error
+  }
+}
diff --git a/tests/neg/i5327-c.scala b/tests/neg/i5327-c.scala
new file mode 100644
index 000000000000..418d9db15cb7
--- /dev/null
+++ b/tests/neg/i5327-c.scala
@@ -0,0 +1,10 @@
+trait SortedSetOps[CC[X], C]
+class TreeSet[A] extends SortedSetOps[TreeSet, TreeSet[A]]
+
+class Test {
+  def optionSequence1[CC[X] <: SortedSetOps[CC, CC[X]] , A](xs: CC[A]): Unit = ()
+
+  def test(xs2: Int) = {
+    optionSequence1(xs2) // error
+  }
+}