test/pending/neg/tcpoly_variance_enforce_getter_setter.scala


1
2
3
4
5
6
7
8
9
10
11
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] = _
}