blob: 34858cd950092f8413fb4dc2a2233af0b81b8ce3 (
plain) (
tree)
|
|
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]
}
|