Fix #5327: Add regression tests

Author: nicolasstucki

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
+  }
+}

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
+  }
+}

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
+  }
+}