test/files/pos/variances_pos.scala


1
2
3
4
5
6
7
8

abstract class P[+a, +b] { // SLS, Example 4.4.2
  def fst: a;
  def snd: b
}

trait Vector[+a] { // SLS, Example 4.4.3 b)
  def append[b >: a](x: Vector[b]): Vector[b]
}