diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-05-30 15:36:57 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-05-30 15:36:57 +0000 |
| commit | 1cc6a768e075c0d764ae0625598b5d352ec1b4f2 (patch) | |
| tree | 120dc52ad301cf2ed19296488723e6c527cde961 /test/files/pos/bug1119.scala | |
| parent | 2dcbfa7d08d1063757713d77ff39557a89be3014 (diff) | |
| download | scala-1cc6a768e075c0d764ae0625598b5d352ec1b4f2.tar.gz scala-1cc6a768e075c0d764ae0625598b5d352ec1b4f2.tar.bz2 scala-1cc6a768e075c0d764ae0625598b5d352ec1b4f2.zip | |
fixed bug 1123
Diffstat (limited to 'test/files/pos/bug1119.scala')
| -rw-r--r-- | test/files/pos/bug1119.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/files/pos/bug1119.scala b/test/files/pos/bug1119.scala new file mode 100644 index 0000000000..8b36877c49 --- /dev/null +++ b/test/files/pos/bug1119.scala @@ -0,0 +1,10 @@ +trait B +{ + type T >: this.type <: B + + + // compile-time check: have we achieved our objective? + def test: T = this +} + + |