path: root/test/scaladoc/resources/SI_4715.scala

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

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