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/t1119.scala | |
parent | 474b35ff0160c1174674757895e93818dc4f2f19 (diff) | |
download | dotty-c854cc7fcc9d0f889c6235c1534133cff7360e7f.tar.gz dotty-c854cc7fcc9d0f889c6235c1534133cff7360e7f.tar.bz2 dotty-c854cc7fcc9d0f889c6235c1534133cff7360e7f.zip |
More tests
Diffstat (limited to 'tests/pos/t1119.scala')
-rw-r--r-- | tests/pos/t1119.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/pos/t1119.scala b/tests/pos/t1119.scala new file mode 100644 index 000000000..8b36877c4 --- /dev/null +++ b/tests/pos/t1119.scala @@ -0,0 +1,10 @@ +trait B +{ + type T >: this.type <: B + + + // compile-time check: have we achieved our objective? + def test: T = this +} + + |