diff options
Diffstat (limited to 'test/pending/neg/t0653.scala')
| -rw-r--r-- | test/pending/neg/t0653.scala | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/test/pending/neg/t0653.scala b/test/pending/neg/t0653.scala deleted file mode 100644 index 26204a8b40..0000000000 --- a/test/pending/neg/t0653.scala +++ /dev/null @@ -1,30 +0,0 @@ -// What is this test in place to test for? -// -class One[A] -class Two[A, B] -class Fix[Op[A]](x : Op[Fix[Op]]) - -class FixTest { - // works - // val zero = new Fix[One](new One) - - // don't work: - val two = new Fix(new Two) // this was what I found here - val zero = new Fix(new One) // this seems like something which could plausibly work - - // neg/t0653.scala:12: error: no type parameters for constructor Fix: (x: Op[Fix[Op[A]]])Fix[Op[A]] exist so that it can be applied to arguments (Two[Nothing,Nothing]) - // --- because --- - // argument expression's type is not compatible with formal parameter type; - // found : Two[Nothing,Nothing] - // required: ?Op[ Fix[?Op[ A ]] ] - // val two = new Fix(new Two) // this was what I found here - // ^ - // neg/t0653.scala:13: error: no type parameters for constructor Fix: (x: Op[Fix[Op[A]]])Fix[Op[A]] exist so that it can be applied to arguments (One[Nothing]) - // --- because --- - // argument expression's type is not compatible with formal parameter type; - // found : One[Nothing] - // required: ?Op[ Fix[?Op[ A ]] ] - // val zero = new Fix(new One) // this seems like something which could plausibly work - // ^ - // two errors found -} |