Pertanyaan tentang topik tersebut 'type-bounds'
Ekstraktor: argumen tipe yang disimpulkan X tidak sesuai dengan batasan parameter tipe metode unapply
Dalam contoh berikut, Scala tidak dapat menggunakan ekstraktor, dan ini membuat saya gila:
trait Sys[S <: Sys[S]]
object Element {
object Foo {
def unapply[S <: Sys[S]](foo: Foo[S]): Option[Any] = ???
}
trait Foo[S <: Sys[S]]...
577 dilihat
schedule
01.12.2023