tests/untried/pos/depmet_implicit_tpbetareduce.scala


1
2
3
4
5
6
7
8
9
10
11
12

trait HOSeq {
  trait Accumulator[+coll[x], elT]
  trait Iterable[+t] {
    type m[+x]
    def accumulator[t]: Accumulator[m, t]
  }
  implicit def listAccumulator[elT]: Accumulator[List, elT] = new Accumulator[List, elT] {}
  trait List[+t] extends Iterable[t] {
    type m[+x] = List[x]
    def accumulator[t]: Accumulator[List, t] = listAccumulator[t]
  }
}