Fixed #1939,plus some moving things around.

1 files changed, 34 insertions, 0 deletions

diff --git a/test/files/run/t1939.scala b/test/files/run/t1939.scala
new file mode 100644
index 0000000000..7d6261906c
--- /dev/null
+++ b/test/files/run/t1939.scala
@@ -0,0 +1,34 @@
+class Module {}
+
+abstract class T {
+  type moduleType <: Module
+  def module: moduleType
+}
+
+final class T1(val module: Module) extends T {
+  type moduleType = Module
+}
+
+final class T2(_module: Module) extends T {
+  type moduleType = Module
+
+  def module = _module
+}
+
+object Test extends Application {
+
+  type mType = Module
+
+  type tType = T { type moduleType <: mType }
+  // type tType = T { type moduleType <: Module } // runs successfully
+  // type tType = T // runs successfully
+
+  def f(ts: List[tType]): Unit = {
+
+    for (t <- ts; m = t.module) {}
+    ts.map(t => t.module).foreach { _ => () }
+    // ts.map(t => (t : T).module).foreach { _ => () } // runs successfully
+  }
+
+  f(new T1(new Module) :: new T2(new Module) :: Nil)
+}