1 files changed, 17 insertions, 0 deletions
diff --git a/tests/pos/t252.scala b/tests/pos/t252.scala
new file mode 100644
index 000000000..d51b5511e
--- /dev/null
+++ b/tests/pos/t252.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; m = t.module) { }
+  }
+}