diff options
| author | Martin Odersky <odersky@gmail.com> | 2012-09-18 17:21:35 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2012-09-18 17:21:35 +0200 |
| commit | 8c69f4da333f17290da26c3951fa9c8805014e47 (patch) | |
| tree | d6d9b237e6664f2842c2c8a797f0cc745050d3bd /test/files/neg/t6336.check | |
| parent | 61480eb14a07c78a6746d2a6dc1e302d5baa112f (diff) | |
| download | scala-8c69f4da333f17290da26c3951fa9c8805014e47.tar.gz scala-8c69f4da333f17290da26c3951fa9c8805014e47.tar.bz2 scala-8c69f4da333f17290da26c3951fa9c8805014e47.zip | |
SI-6336 Now also catches return types
As Mark's comments on SI-6336 shows, we also need to disallow value classes
as return types of structural types.
Diffstat (limited to 'test/files/neg/t6336.check')
| -rw-r--r-- | test/files/neg/t6336.check | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/files/neg/t6336.check b/test/files/neg/t6336.check index f6b35ad232..c3ddf81f21 100644 --- a/test/files/neg/t6336.check +++ b/test/files/neg/t6336.check @@ -1,4 +1,7 @@ t6336.scala:3: error: Parameter type in structural refinement may not refer to a user-defined value class val a = new { def y[T](x: X[T]) = x.i } ^ -one error found +t6336.scala:4: error: Result type in structural refinement may not refer to a user-defined value class + val b = new { def y[T](x: T): X[T] = new X(2) } + ^ +two errors found |