tcpoly_variance_enforce_getter_setter.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 12 行

trait coll[+m[+x]]

class FooInvar[x]                 
class FooContra[-x]
class FooCov[+x]

object test {
  var ok: coll[FooCov] = _
   
  var x: coll[FooInvar] = _    // TODO: error should be reported only once instead of separately for getter and setter
  var y: coll[FooContra] = _
}