diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-08-16 14:18:20 +0200 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-08-16 14:53:50 +0200 |
commit | 3df1d77fc984b976efa68098206e801cf3b83a9e (patch) | |
tree | b0db025e00cc4748532c1dbdfe105cd1dc77010d /test/files/neg/t7756b.check | |
parent | f17fb5eaa545490c761acd4f6979a619f919ac86 (diff) | |
download | scala-3df1d77fc984b976efa68098206e801cf3b83a9e.tar.gz scala-3df1d77fc984b976efa68098206e801cf3b83a9e.tar.bz2 scala-3df1d77fc984b976efa68098206e801cf3b83a9e.zip |
SI-7756 Uncripple refchecks in case bodies
In 65340ed4ad2e, parts of RefChecks were disabled when
we traversed into the results of the new pattern matcher.
Similar logic existed for the old pattern matcher, but in
that case the Match / CaseDef nodes still existed in the tree.
The new approach was too broad: important checks no longer
scrutinized the body of cases.
This commit turns the checks back on when it finds the remnants
of a case body, which appears as an application to a label def.
Diffstat (limited to 'test/files/neg/t7756b.check')
-rw-r--r-- | test/files/neg/t7756b.check | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/files/neg/t7756b.check b/test/files/neg/t7756b.check new file mode 100644 index 0000000000..2817a7e230 --- /dev/null +++ b/test/files/neg/t7756b.check @@ -0,0 +1,6 @@ +t7756b.scala:3: warning: comparing values of types Int and String using `==' will always yield false + case _ => 0 == "" + ^ +error: No warnings can be incurred under -Xfatal-warnings. +one warning found +one error found |