diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-17 18:44:39 +0100 |
---|---|---|
committer | Tobias Schlatter <tobias@meisch.ch> | 2014-03-21 11:28:30 +0100 |
commit | c854cc7fcc9d0f889c6235c1534133cff7360e7f (patch) | |
tree | a17c01b5a46e34e8640d543ae12eb06fde598892 /tests/pos/t1210a.scala | |
parent | 474b35ff0160c1174674757895e93818dc4f2f19 (diff) | |
download | dotty-c854cc7fcc9d0f889c6235c1534133cff7360e7f.tar.gz dotty-c854cc7fcc9d0f889c6235c1534133cff7360e7f.tar.bz2 dotty-c854cc7fcc9d0f889c6235c1534133cff7360e7f.zip |
More tests
Diffstat (limited to 'tests/pos/t1210a.scala')
-rw-r--r-- | tests/pos/t1210a.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/pos/t1210a.scala b/tests/pos/t1210a.scala new file mode 100644 index 000000000..b3492f96e --- /dev/null +++ b/tests/pos/t1210a.scala @@ -0,0 +1,15 @@ +// both styles of abstraction should behave the same +// related to 1210 because that bug broke the OO version below +trait OO { + abstract class Test { self => + type T + + val v: Test {type T = self.T} = self.v.v + } +} + +trait FP { + abstract class Test[T] { + val v: Test[T] = v.v + } +} |