t5314-type-error.scala:7: error: type mismatch;
 found   : Int @util.continuations.cps[Int]
 required: Int @util.continuations.cps[String]
  def bar(x:Int): Int @cps[String] = return foo(x)
                                               ^
one error found