From deeb2b9be14b1fcad0e19bd1b1e861f12ec57374 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Fri, 3 May 2019 17:03:07 +0200
Subject: [PATCH] Revert "Fix #4369: Add regression test"

This reverts commit 5ee64d5746095176cfcd204d648cfd987dd81935.
---
 tests/neg/i4369.scala  | 4 ----
 tests/neg/i4369b.scala | 4 ----
 tests/neg/i4369c.scala | 5 -----
 3 files changed, 13 deletions(-)
 delete mode 100644 tests/neg/i4369.scala
 delete mode 100644 tests/neg/i4369b.scala
 delete mode 100644 tests/neg/i4369c.scala

diff --git a/tests/neg/i4369.scala b/tests/neg/i4369.scala
deleted file mode 100644
index 02554709743c..000000000000
--- a/tests/neg/i4369.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-trait X[R <: Z, Z >: X[R, R]] {
-   def foo(x: X[R, R]): Z = x // error: Found: X[R, R](x)    Required: Z
-}
-class Z extends X[Z, Z]
diff --git a/tests/neg/i4369b.scala b/tests/neg/i4369b.scala
deleted file mode 100644
index 5066bbdcde16..000000000000
--- a/tests/neg/i4369b.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-trait X[R <: Z, Z >: X[R, R] <: X[R, R]] {
-  implicitly[Z =:= X[R, R]] // error:  Cannot prove that Z =:= X[R, R]
-}
-class Z extends X[Z, Z]
diff --git a/tests/neg/i4369c.scala b/tests/neg/i4369c.scala
deleted file mode 100644
index 46a70ca385af..000000000000
--- a/tests/neg/i4369c.scala
+++ /dev/null
@@ -1,5 +0,0 @@
-trait X { self =>
-  type R <: Z
-  type Z >: X { type R = self.R; type Z = self.R }
-}
-class Foo extends X { type R = Foo; type Z = Foo } // error