test/scaladoc/resources/SI_4715.scala


1
2
3
4
5
6
7

class SI_4715 {
  type :+:[X,Y] = Map[X,Y]
  val withType: Int :+: Double = sys.error("")

  trait :-:[X,Y]
  val withTrait: Int :-: Double = sys.error("")
}