diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-07-16 22:30:31 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-07-17 11:02:03 +0200 |
| commit | 491e07690dc2701d15544d0d77f0922180c45722 (patch) | |
| tree | 1d0fb8dba44b0f9ab50d046a7979d34a18c10585 /tests/pos | |
| parent | 7c56a5bb3d0b7902dbee6f11788e2d1033b20873 (diff) | |
| download | dotty-491e07690dc2701d15544d0d77f0922180c45722.tar.gz dotty-491e07690dc2701d15544d0d77f0922180c45722.tar.bz2 dotty-491e07690dc2701d15544d0d77f0922180c45722.zip | |
Handle selftypes in FullParameterization
Adapt the transformation so that self types are handled correctly.
Diffstat (limited to 'tests/pos')
| -rw-r--r-- | tests/pos/extmethods.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pos/extmethods.scala b/tests/pos/extmethods.scala new file mode 100644 index 000000000..c8c49b12d --- /dev/null +++ b/tests/pos/extmethods.scala @@ -0,0 +1,6 @@ +trait That1[A] +class T[A, This <: That1[A]] extends AnyVal { + self: This => + var next: This = _ + final def loop(x: This, cnt: Int): Int = loop(x, cnt + 1) +} |