Pending test for #653

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@14469 5e8d7ff9-d8ef-0310-90f0-a4852d11357a

test/pending/neg/t0653.check

@@ -0,0 +1,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

test/pending/neg/t0653.scala

@@ -0,0 +1,6 @@
+class InL[A, B]
+class Fix[Op[A]](x : Op[Fix[Op]])
+
+class FixTest {
+   val zero = new Fix(new InL)
+}