diff options
author | Ólafur Páll Geirsson <olafurpg@gmail.com> | 2016-08-05 11:28:00 +0200 |
---|---|---|
committer | Ólafur Páll Geirsson <olafurpg@gmail.com> | 2016-08-23 12:15:15 +0200 |
commit | 233b8096359875d4b6432fbe5988724652b85752 (patch) | |
tree | b55ba62af6dfd22b3c094db40b94c1f45a59e096 /tests/pending/hkt/hkt.scala | |
parent | bcfa3be8cfe2be5d79d0147e6c8fde2c38717623 (diff) | |
download | dotty-233b8096359875d4b6432fbe5988724652b85752.tar.gz dotty-233b8096359875d4b6432fbe5988724652b85752.tar.bz2 dotty-233b8096359875d4b6432fbe5988724652b85752.zip |
Three incompatibilities with scalac.
Using Scala 2.11.8 and dotty at bcfa3be8cfe2be.
cc/ #1457
Diffstat (limited to 'tests/pending/hkt/hkt.scala')
-rw-r--r-- | tests/pending/hkt/hkt.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/pending/hkt/hkt.scala b/tests/pending/hkt/hkt.scala new file mode 100644 index 000000000..34858cd95 --- /dev/null +++ b/tests/pending/hkt/hkt.scala @@ -0,0 +1,15 @@ +import scala.language.higherKinds +// Minimal reproduction for: +// scala.collection.mutable.ArrayStack.empty[Int] + +abstract class Super[C[_]] { + def empty[T]: C[T] = ??? +} + +class Child[T] + +object Child extends Super[Child] { + def empty: Child[Nothing] = new Child() + + Child.empty[Int] +} |