diff options
author | Martin Odersky <odersky@gmail.com> | 2014-05-16 11:55:36 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-05-30 14:38:00 +0200 |
commit | e42388682094c63055440c8915d8215935007584 (patch) | |
tree | a2a392d9ddc052b282c84b8c1c4a1a4793872679 /tests/pos/t252.scala | |
parent | 05668169eca68bbdc777fbf698f92e256f8e50a9 (diff) | |
download | dotty-e42388682094c63055440c8915d8215935007584.tar.gz dotty-e42388682094c63055440c8915d8215935007584.tar.bz2 dotty-e42388682094c63055440c8915d8215935007584.zip |
Added t25xx tests
Diffstat (limited to 'tests/pos/t252.scala')
-rw-r--r-- | tests/pos/t252.scala | 17 |
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) { } + } +} |