Dada uma tupla com elementos do tipoA e outro tipo parametrizado emA:

trait Writer[-A] { def write(a: A): Unit }
case class Write[A](value: A, writer: Writer[A])

E um site de uso:

trait Cache { def store[A](value: A, writer: Writer[A]): Unit }

Por que o seguinte funciona conforme o esperado, usando o extrator da tupla:

def test1(set: Set[Write[_]], cache: Cache): Unit =
  set.foreach {
    case Write(value, writer) => cache.store(value, writer)
  }

Mas o seguinte falha:

def test2(set: Set[Write[_]], cache: Cache ): Unit =
  set.foreach { write =>
    cache.store(write.value, write.writer)
  }

com mensagem de erro

 found   : Writer[_$1] where type _$1
 required: Writer[Any]
             cache.store(write.value, write.writer)
                                        ^

Posso corrigir o segundo formulário test2) para compilar corretamente?

EDITA

Partindo das idéias de Owen, tentei fazer com que ele funcionasse sem a correspondência de padrões (que é o que eu queria em primeiro lugar). Aqui estão mais dois casos estranhos, um funcionando e o outro não:

// does not work
def test3(set: Set[Write[_]], cache: Cache): Unit = {
  def process[A](write: Write[A]): Unit =
    cache.store(write.value, write.writer)

  set.foreach(process)
}

// _does work_
def test4(set: Set[Write[_]], cache: Cache): Unit = {
  def process[A](write: Write[A]): Unit =
    cache.store(write.value, write.writer)

  set.foreach(w => process(w))
}

Ainda bem obscuro para mim ...