diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-10-09 12:42:04 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-10-09 12:42:17 +0200 |
| commit | f703e4d9c006a119250e1b0202712fe3e09521b4 (patch) | |
| tree | 11591699d73cc08e252b6cd269dd8ae2edb4986c /tests/pos/selftypes.scala | |
| parent | 0fc19e0e1ef7b56f9ca0649fde35765892cf1a53 (diff) | |
| download | dotty-f703e4d9c006a119250e1b0202712fe3e09521b4.tar.gz dotty-f703e4d9c006a119250e1b0202712fe3e09521b4.tar.bz2 dotty-f703e4d9c006a119250e1b0202712fe3e09521b4.zip | |
Partial revert of "instance flags" commit
16c1ddd3bb86c61890418b8394d44486e7bbd9dd
Diffstat (limited to 'tests/pos/selftypes.scala')
| -rw-r--r-- | tests/pos/selftypes.scala | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/pos/selftypes.scala b/tests/pos/selftypes.scala new file mode 100644 index 000000000..94e4a5760 --- /dev/null +++ b/tests/pos/selftypes.scala @@ -0,0 +1,19 @@ +object selftypes { + + trait LinearSeqLike[+A, +Repr <: LinearSeqLike[A, Repr]] { + self: Repr => + + type X + + def toX: X + + } + + abstract class LS[+A] extends LinearSeqLike[A, LS[A]] { + + } + + val x: LS[Int] = null + + x.toX +}
\ No newline at end of file |