From 67a7149766a81f2beb9e9ab37169b9c1957868af Mon Sep 17 00:00:00 2001
From: Adriaan Moors <adriaan.moors@epfl.ch>
Date: Thu, 24 May 2012 15:44:27 +0200
Subject: fix SI-5829: refinement typeref has a prefix

---
 test/files/pos/t5829.scala | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 test/files/pos/t5829.scala

(limited to 'test/files')

diff --git a/test/files/pos/t5829.scala b/test/files/pos/t5829.scala
new file mode 100644
index 0000000000..236045ed11
--- /dev/null
+++ b/test/files/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)
+}
\ No newline at end of file
-- 
cgit v1.2.3