test/files/pos/t2066-2.10-compat.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

import language._
trait A1 {
  def f[T[_]] = ()
}

trait B1 extends A1 {
  override def f[T[+_]] = ()
}

trait C1 extends A1 {
  override def f[T[-_]] = ()
}


trait A2 {
  def f[T[+_]] = ()
}

trait B2 extends A2 {
  override def f[T[_]] = () // okay
}

trait C2 extends A2 {
  override def f[T[-_]] = ()
}


trait A3 {
  def f[T[-_]] = ()
}

trait B3 extends A3 {
  override def f[T[_]] = () // okay
}

trait C3 extends A3 {
  override def f[T[-_]] = ()
}


trait A4 {
  def f[T[X[+_]]] = ()
}

trait B4 extends A4 {
  override def f[T[X[_]]] = ()
}

trait A5 {
  def f[T[X[-_]]] = ()
}

trait B5 extends A5 {
  override def f[T[X[_]]] = ()
}


trait A6 {
  def f[T[X[_]]] = ()
}

trait B6 extends A6 {
  override def f[T[X[+_]]] = () // okay
}
trait C6 extends A6 {
  override def f[T[X[_]]] = () // okay
}
trait D6 extends A6 {
  override def f[T[X[-_]]] = ()
}