summaryrefslogtreecommitdiff
path: root/test/files/neg/t2918.check
blob: aae3045e8af7564305dbab8d79e0c3c30955dfc7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
t2918.scala:2: error: illegal cyclic reference involving type A
  def g[X, A[X] <: A[X]](x: A[X]) = x
                                    ^
t2918.scala:2: error: cyclic aliasing or subtyping involving type A
  def g[X, A[X] <: A[X]](x: A[X]) = x
           ^
t2918.scala:2: error: A does not take type parameters
  def g[X, A[X] <: A[X]](x: A[X]) = x
                            ^
three errors found