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