From f2005eb3cbac225f277d5d0d39a1c076c25d7353 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Tue, 9 Jun 2020 15:26:28 +0200
Subject: [PATCH] Fix #5327: Add regression tests

---
 tests/neg/i5327-a.scala | 10 ++++++++++
 tests/neg/i5327-b.scala | 10 ++++++++++
 tests/neg/i5327-c.scala | 10 ++++++++++
 3 files changed, 30 insertions(+)
 create mode 100644 tests/neg/i5327-a.scala
 create mode 100644 tests/neg/i5327-b.scala
 create mode 100644 tests/neg/i5327-c.scala

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