3 files changed, 38 insertions, 0 deletions
diff --git a/tests/pos/i1865.scala b/tests/pos/i1865.scala
new file mode 100644
index 000000000..1b77558ff
--- /dev/null
+++ b/tests/pos/i1865.scala
@@ -0,0 +1,24 @@
+class AbsCell {
+  type T = Node
+  class Node
+}
+
+object Test {
+  def test: Unit = {
+    val cell = new AbsCell
+    new cell.T
+  }
+}
+
+class AbsCell2 {
+  type T = Node
+  val value: T = value
+  def set(x: T): Unit = {}
+  class Node
+}
+object init {
+  def main = {
+    val cell = new AbsCell2 { val init = new Node }
+    cell set (new cell.T)
+  }
+}
diff --git a/tests/pos/i1867.scala b/tests/pos/i1867.scala
new file mode 100644
index 000000000..b6377c4f0
--- /dev/null
+++ b/tests/pos/i1867.scala
@@ -0,0 +1,3 @@
+trait B {
+  def f1: {}
+}
diff --git a/tests/pos/i1891.scala b/tests/pos/i1891.scala
new file mode 100644
index 000000000..b178c256b
--- /dev/null
+++ b/tests/pos/i1891.scala
@@ -0,0 +1,11 @@
+object Test {
+  class CC2[A, B](a: A, b: B)
+
+  type T2[A, B] = CC2[A, B]
+
+  class ArrowAssoc[A](val self: A) {
+    @inline def f[B](y: B): CC2[A, B] = new CC2(self, y)
+  }
+
+  def foo = (new ArrowAssoc(1)).f(2)
+}