diff options
| author | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-05-16 15:24:59 +0200 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-05-18 10:58:14 +0200 |
| commit | 4669ac180e58daf97ac7f73af4622434b439631d (patch) | |
| tree | d1397c1b58e6863cf33174be038ad3bafa250e18 /test/files/neg/t5044.check | |
| parent | b48aa909cefc4811e208f491d22d664538d75bad (diff) | |
| download | scala-4669ac180e58daf97ac7f73af4622434b439631d.tar.gz scala-4669ac180e58daf97ac7f73af4622434b439631d.tar.bz2 scala-4669ac180e58daf97ac7f73af4622434b439631d.zip | |
better feedback for SI-5044
Diffstat (limited to 'test/files/neg/t5044.check')
| -rw-r--r-- | test/files/neg/t5044.check | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/files/neg/t5044.check b/test/files/neg/t5044.check new file mode 100644 index 0000000000..197da2a4e8 --- /dev/null +++ b/test/files/neg/t5044.check @@ -0,0 +1,9 @@ +t5044.scala:7: error: recursive value a needs type + val id = m(a) + ^ +t5044.scala:6: warning: type-checking the invocation of method foo checks if the named argument expression 'id = ...' is a valid assignment +in the current scope. The resulting type inference error (see above) can be fixed by providing an explicit type in the local definition for id. + val a = foo(id = 1) + ^ +one warning found +one error found |