fork download

copy

import language.implicitConversions
 
object Test extends App {
 
  trait JValue
  case class JInt(x: Int) extends JValue
  case class JString(x: String) extends JValue
  implicit def intToJInt(x: Int) = JInt(x)
  implicit def stringToJString(x: String) = JString(x)
 
  implicit class pimp[A <: JValue](xs: List[A]) {
    def |:[B >: A <: JValue] (x: B): List[B] = x :: xs
  }
 
  val foo = 42 |: "hello" |: Nil
 
  println(foo)
 
}

Main.scala:15: error: inferred type arguments [Object] do not conform to method |:'s type parameter bounds [B >: A <: Test.JValue]
  val foo = 42 |: "hello" |: Nil
                          ^
one error found
spoj: The program compiled successfully, but Main.class was not found.
      Class Main should contain method: def main(args: Array[String]).

Standard output is empty