diff options
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] +} |