1 files changed, 18 insertions, 0 deletions
diff --git a/tests/untried/pos/t5829.scala b/tests/untried/pos/t5829.scala
new file mode 100644
index 000000000..84b450ab3
--- /dev/null
+++ b/tests/untried/pos/t5829.scala
@@ -0,0 +1,18 @@
+trait Universe {
+  type Tree
+
+  type SymTree <: Tree
+  type NameTree <: Tree
+  type RefTree <: SymTree with NameTree
+
+  type Ident <: RefTree
+  type Select <: RefTree
+}
+
+object Test extends App {
+  val universe: Universe = null
+  import universe._
+  def select: Select = ???
+  def ident: Ident = ???
+  List(select, ident)
+}