diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-08-19 11:15:25 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-08-19 11:15:25 -0700 |
commit | 03418e94399aef8cf1e6b2be2757c55af59a52fe (patch) | |
tree | 71f0bf2d19a06934d0ff8fe482326ae697b2b30e /test | |
parent | 30373989771e0be8c0e690210da1c8b7e24942a1 (diff) | |
parent | 3df1d77fc984b976efa68098206e801cf3b83a9e (diff) | |
download | scala-03418e94399aef8cf1e6b2be2757c55af59a52fe.tar.gz scala-03418e94399aef8cf1e6b2be2757c55af59a52fe.tar.bz2 scala-03418e94399aef8cf1e6b2be2757c55af59a52fe.zip |
Merge pull request #2840 from retronym/ticket/7756-2.11
SI-7756 Uncripple refchecks in case bodies
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/t7756a.check | 7 | ||||
-rw-r--r-- | test/files/neg/t7756a.scala | 11 | ||||
-rw-r--r-- | test/files/neg/t7756b.check | 6 | ||||
-rw-r--r-- | test/files/neg/t7756b.flags | 1 | ||||
-rw-r--r-- | test/files/neg/t7756b.scala | 5 |
5 files changed, 30 insertions, 0 deletions
diff --git a/test/files/neg/t7756a.check b/test/files/neg/t7756a.check new file mode 100644 index 0000000000..8d42717e47 --- /dev/null +++ b/test/files/neg/t7756a.check @@ -0,0 +1,7 @@ +t7756a.scala:7: error: type arguments [Object] do not conform to trait TA's type parameter bounds [X <: CharSequence] + locally(null: TA[Object]) + ^ +t7756a.scala:7: error: type arguments [Object] do not conform to trait TA's type parameter bounds [X <: CharSequence] + locally(null: TA[Object]) + ^ +two errors found diff --git a/test/files/neg/t7756a.scala b/test/files/neg/t7756a.scala new file mode 100644 index 0000000000..4453e84963 --- /dev/null +++ b/test/files/neg/t7756a.scala @@ -0,0 +1,11 @@ +object Test { + def test: Unit = { + trait TA[X <: CharSequence] + 0 match { + case _ => + // the bounds violation isn't reported. RefChecks seems to be too broadly disabled under virtpatmat: see 65340ed4ad2e + locally(null: TA[Object]) + () + } + } +} 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 diff --git a/test/files/neg/t7756b.flags b/test/files/neg/t7756b.flags new file mode 100644 index 0000000000..85d8eb2ba2 --- /dev/null +++ b/test/files/neg/t7756b.flags @@ -0,0 +1 @@ +-Xfatal-warnings diff --git a/test/files/neg/t7756b.scala b/test/files/neg/t7756b.scala new file mode 100644 index 0000000000..a2de29c8e7 --- /dev/null +++ b/test/files/neg/t7756b.scala @@ -0,0 +1,5 @@ +object Test { + 0 match { + case _ => 0 == "" + } +} |