diff options
Diffstat (limited to 'test/pending/neg/t0653.scala')
-rw-r--r-- | test/pending/neg/t0653.scala | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/test/pending/neg/t0653.scala b/test/pending/neg/t0653.scala index 156aa2d701..48f39447ba 100644 --- a/test/pending/neg/t0653.scala +++ b/test/pending/neg/t0653.scala @@ -1,6 +1,30 @@ -class InL[A, B] +// 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 { - val zero = new Fix(new InL) + // 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 } |