*** empty log message ***

1 files changed, 20 insertions, 0 deletions

diff --git a/test/files/pos/scoping3.scala b/test/files/pos/scoping3.scala
new file mode 100644
index 0000000000..4ebc7f6378
--- /dev/null
+++ b/test/files/pos/scoping3.scala
@@ -0,0 +1,20 @@
+object CI {
+   trait TreeDisplay {
+	type TreeNode <: ITreeNode;
+	trait ITreeNode {
+	  def display(): unit;
+	}
+   }
+   trait TreeDisplayExp {
+	def getRoot(): TreeNode;
+	type TreeNode <: ITreeNodeExp;
+	trait ITreeNodeExp {}
+   }
+   trait TreeDisplayFinal extends TreeDisplay with TreeDisplayExp {
+   	type TreeNode <: ITreeNode with ITreeNodeExp;
+   }
+   abstract class SimpleTreeDisplay: TreeDisplayFinal extends
+TreeDisplay {
+     def display() = { this.getRoot().display(); }
+   }
+}