diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2013-01-13 12:36:36 +0100 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-01-15 11:29:02 +0100 |
| commit | 692372ce1d82d0ba41461b9539fdc85238477464 (patch) | |
| tree | ca6a4d0435e0db9e12a50c4e0300fda9af42b9f6 /test/files/neg/t6675.check | |
| parent | 9ea0a208346e86031a58fa9c28daf6103778a02f (diff) | |
| download | scala-692372ce1d82d0ba41461b9539fdc85238477464.tar.gz scala-692372ce1d82d0ba41461b9539fdc85238477464.tar.bz2 scala-692372ce1d82d0ba41461b9539fdc85238477464.zip | |
SI-6675 -Xlint arity enforcement for extractors
Extractor Patterns changed in 2.10.0 to implement
the letter of the spec, which allows a single binding
to capture an entire TupleN. But this can hide arity
mismatches, especially if the case body uses the
bound value as an `Any`.
This change warns when this happens under -Xlint.
Diffstat (limited to 'test/files/neg/t6675.check')
| -rw-r--r-- | test/files/neg/t6675.check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/t6675.check b/test/files/neg/t6675.check new file mode 100644 index 0000000000..7b271de213 --- /dev/null +++ b/test/files/neg/t6675.check @@ -0,0 +1,4 @@ +t6675.scala:10: error: extractor pattern binds a single value to a Product3 of type (Int, Int, Int) + "" match { case X(b) => b } // should warn under -Xlint. Not an error because of SI-6111 + ^ +one error found |