summaryrefslogblamecommitdiff
path: root/test/files/neg/t2918.check
blob: 263beab518e8897c5fcd76a8c54a8e0c610d8fb3 (plain) (tree)
1
2
3
4
5
6
7
8
9
                                                               
                                      
                                     
                                                                   
                                      
            
                                                     
                                      
                             
                  
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