From ab101bcd299e060ad41cad2d1a91c3e32ae5267e Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sun, 9 Apr 2017 15:09:54 +0200
Subject: Tweak logic for hk type comparisons

---
 tests/pos/i2200/Hello.scala   | 6 ++++++
 tests/pos/i2200/package.scala | 4 ++++
 2 files changed, 10 insertions(+)
 create mode 100644 tests/pos/i2200/Hello.scala
 create mode 100644 tests/pos/i2200/package.scala

(limited to 'tests')

diff --git a/tests/pos/i2200/Hello.scala b/tests/pos/i2200/Hello.scala
new file mode 100644
index 000000000..47e8b2024
--- /dev/null
+++ b/tests/pos/i2200/Hello.scala
@@ -0,0 +1,6 @@
+package bar
+import scala.language.higherKinds
+class Fix[F[_]](unfix: F[Fix[F]])
+object DocTree {
+  def docTree(s: StreamTree[DocTree]): DocTree = new Fix(s: StreamTree[DocTree])
+}
diff --git a/tests/pos/i2200/package.scala b/tests/pos/i2200/package.scala
new file mode 100644
index 000000000..3bc519b72
--- /dev/null
+++ b/tests/pos/i2200/package.scala
@@ -0,0 +1,4 @@
+package object bar {
+  type StreamTree[T] = Stream[Int]
+  type DocTree = Fix[StreamTree]
+}
-- 
cgit v1.2.3