summaryrefslogtreecommitdiff
path: root/test/pending/neg/t0653.check
blob: cb5ca65b8e7a8852ae8fa6c9a5493d6582a486ca (plain) (blame)
1
2
3
4
5
t0653.scala:5: error: inferred the kinds of the type arguments (InL[Nothing,Nothing]) do not conform to the expected kinds of the type parameters (type Op) in class Fix.
InL[Nothing,Nothing]'s type parameters do not match type Op's expected parameters: class InL has two type parameters, but type Op has one
   val zero = new Fix(new InL)
              ^
one error found