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