From b9e451ce6e51f0c5f00384d37ab6d3fe335b40f8 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Wed, 10 Jun 2009 18:56:54 +0000
Subject: Test case for #252.

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

diff --git a/test/files/pos/bug252.scala b/test/files/pos/bug252.scala
new file mode 100644
index 0000000000..226b6787ad
--- /dev/null
+++ b/test/files/pos/bug252.scala
@@ -0,0 +1,17 @@
+abstract class Module {}
+
+abstract class T {
+  type moduleType <: Module
+  val module: moduleType
+}
+
+abstract class Base {
+  type mType = Module
+  type tType = T { type moduleType <: mType }
+}
+
+abstract class Derived extends Base {
+  def f(inputs: List[tType]): Unit = {
+    for (t <- inputs; val m = t.module) { }
+  }
+}
\ No newline at end of file
-- 
cgit v1.2.3