diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-05-03 13:31:27 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-05-12 12:50:38 +0200 |
| commit | 1b32071acef5c7c2c08e21ee577c7cc709876ffa (patch) | |
| tree | 6cf36469ca3a59b855a3c589b4542c19d3b30fb8 /tests/pos/t1438.scala | |
| parent | 8a4186ff782efefb98686aa35bf7f5dd1418210d (diff) | |
| download | dotty-1b32071acef5c7c2c08e21ee577c7cc709876ffa.tar.gz dotty-1b32071acef5c7c2c08e21ee577c7cc709876ffa.tar.bz2 dotty-1b32071acef5c7c2c08e21ee577c7cc709876ffa.zip | |
More tests
Diffstat (limited to 'tests/pos/t1438.scala')
| -rw-r--r-- | tests/pos/t1438.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/pos/t1438.scala b/tests/pos/t1438.scala new file mode 100644 index 000000000..221c3439d --- /dev/null +++ b/tests/pos/t1438.scala @@ -0,0 +1,10 @@ +class C[A] { + type CC[B] <: C[B] + def aio[T]: T = aio[T] +} +class D[A] extends C[A] { + protected def nv[B](elems: Iterator[B]): CC[B] = { + val x = new D[B] + x.aio[CC[B]] + } +} |