test/files/pos/t8325.scala


1
2
3
4
5
6
7
8
9

trait Test {
  type +[A, B] = (A, B)
  type *[A, B] = (A, B)

  type X[A, B] = A + B
  type Y[A, B] = A * B
  type Z[A, B] = A `*` B
}