diff options
Diffstat (limited to 'test/pending/neg/t0653.scala')
| -rw-r--r-- | test/pending/neg/t0653.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/pending/neg/t0653.scala b/test/pending/neg/t0653.scala index 48f39447ba..26204a8b40 100644 --- a/test/pending/neg/t0653.scala +++ b/test/pending/neg/t0653.scala @@ -7,11 +7,11 @@ 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; @@ -24,7 +24,7 @@ class FixTest { // 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 + // val zero = new Fix(new One) // this seems like something which could plausibly work // ^ - // two errors found + // two errors found } |