Новые игры EA нельзя найти в Центре программного обеспечения

Решение состоит в том, чтобы объявить, что ваша черта должна применяться к классу с помощью метода копирования:

trait K[T <: K[T]] {this: {def copy(x: String, y: String): T} =>
  val x: String
  val y: String
  def m: T = copy(x = "hello", y)
}

(к сожалению, вы не можете использовать неявный параметр в методе копирования, поскольку неявное объявление не является разрешено в объявлении типа)

Тогда ваше объявление в порядке:

case class L(val x: String, val y: String) extends K[L]

(проверено в REPL scala 2.8.1)

Причина, по которой ваша попытка не работает, объясняется в решении, предложенном другими пользователями: ваша декларация copy блокирует генерацию метода «case copy».