Scala example source code file (tcpoly_variance_enforce_getter_setter.scala)

This example Scala source code file (tcpoly_variance_enforce_getter_setter.scala) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

foocontra, foocontra, foocov, foocov, fooinvar, fooinvar, todo, todo

The Scala tcpoly_variance_enforce_getter_setter.scala source code

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] = _
}