diff options
Diffstat (limited to 'test/files/pos/depmet_implicit_tpbetareduce.scala')
-rw-r--r-- | test/files/pos/depmet_implicit_tpbetareduce.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/files/pos/depmet_implicit_tpbetareduce.scala b/test/files/pos/depmet_implicit_tpbetareduce.scala new file mode 100644 index 0000000000..35d260683b --- /dev/null +++ b/test/files/pos/depmet_implicit_tpbetareduce.scala @@ -0,0 +1,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] + } +}
\ No newline at end of file |