From dc4583328f4689b531ceca9001d8c45d589067af Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Mon, 31 Jul 2017 17:30:21 +0200
Subject: [PATCH] Fix #280: Add regression test

---
 tests/neg/i280.scala | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 tests/neg/i280.scala

diff --git a/tests/neg/i280.scala b/tests/neg/i280.scala
new file mode 100644
index 000000000000..79ad16576575
--- /dev/null
+++ b/tests/neg/i280.scala
@@ -0,0 +1,19 @@
+object infpaths3 {
+
+  object a {
+    trait T { t =>
+      type M <: t.g.N // error
+      type T <: a.T
+      val f: t.T
+
+      trait U { u =>
+        type N <: t.f.M
+        type U <: a.x.g.U // error
+        val f: u.U
+      }
+      val g: t.U
+    }
+    val x: a.T = ???
+  }
+
+}