tests/pending/hkt/hkt.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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]
}