Scala 2.11 Tip Varyans değişiklikler

Question

Scala 2.10.4 bu derler

kontravaryant tipi U tipi U değişmez pozisyonunda meydana gelir tip Ters özelliği Foo [-U, T] {türü Contra = U}

bir çözüm mevcut var mı? Bir Scala kütüphanesi üzerinden 2.11'e ve tersine çevirme türüne geçmek için, derleyici tarafından algılanan örtülü kusurların bir tekne yükünün elde edilmesi (yani, U değişmezinin bir seçenek olmaması) gerekir.

Teşekkür

Answer 1

Uygun etrafında bir eser olmanın orada düşünemiyorum. Bunların hepsinin yolu bağımlı türlerini destekleme konusunda olduğunu söylemek nedeni:

def foo[T <: Foo[A,B]](that: T): that.Contra 

yanlış konumda Contra türünü yerleştirir. Bir işlemin sonucu olarak bir kontravaryant türü döndüremezsiniz. Belki de bunların araştırılması ve doğrulanması, derleyici yazarlarının bu küçük köşe kasasına çok fazla yük getirdiğine karar vermesini gerektirir. veya, ortaya çıkardığınız bir derleyici böceğidir. Bu arada, bu sadece benim tarafımdaki vahşi spekülasyonlardır. Hangi yol olduğunu bulmak için derleyici kodunu okumalıyım.

Answer 2

Tip denetçisinde 2,7 ve 2,12 öncesi this was a bug görünüyor. Şimdi OP yaklaşımın önlenmesi tür

geçici çözüm biri yaptığı gibi yapmaktır

o_O öncesi 2.11, fark olmanın şimdi sen biliyorum, iyi bir şeydir bir özelliktir kendi başına, derleyicinin senin sırtını aldığını düşündüğün yerlerden önce.

Cehalet mutluluktur, değil mi?

geçici çözüm:

import annotation.unchecked._ 
trait Foo[-U,T]{ 
    type Contra = (U @uncheckedVariance) 
}