diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-12-13 11:11:42 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-12-13 11:11:42 -0800 |
commit | 2752758e8321368302c8c50824396e58a58b29ab (patch) | |
tree | 5f91655b5d9cd2f8ef335bf7e74ba878cebe5823 | |
parent | 637f239b19ded6b5a3b7b8c06fa64bb0a9f85578 (diff) | |
parent | c4e1b032d9bef4b9f9a87c3b774e74e192b1138a (diff) | |
download | scala-2752758e8321368302c8c50824396e58a58b29ab.tar.gz scala-2752758e8321368302c8c50824396e58a58b29ab.tar.bz2 scala-2752758e8321368302c8c50824396e58a58b29ab.zip |
Merge pull request #3204 from retronym/topic/patmat-classtag-compound
Test case for recently improved unchecked warning
-rw-r--r-- | test/files/neg/patmat-classtag-compound.check | 6 | ||||
-rw-r--r-- | test/files/neg/patmat-classtag-compound.flags | 1 | ||||
-rw-r--r-- | test/files/neg/patmat-classtag-compound.scala | 17 |
3 files changed, 24 insertions, 0 deletions
diff --git a/test/files/neg/patmat-classtag-compound.check b/test/files/neg/patmat-classtag-compound.check new file mode 100644 index 0000000000..8a54c935bd --- /dev/null +++ b/test/files/neg/patmat-classtag-compound.check @@ -0,0 +1,6 @@ +patmat-classtag-compound.scala:12: warning: abstract type pattern A is unchecked since it is eliminated by erasure + case b: A with Bar => true + ^ +error: No warnings can be incurred under -Xfatal-warnings. +one warning found +one error found diff --git a/test/files/neg/patmat-classtag-compound.flags b/test/files/neg/patmat-classtag-compound.flags new file mode 100644 index 0000000000..144ddac9d3 --- /dev/null +++ b/test/files/neg/patmat-classtag-compound.flags @@ -0,0 +1 @@ +-unchecked -Xfatal-warnings diff --git a/test/files/neg/patmat-classtag-compound.scala b/test/files/neg/patmat-classtag-compound.scala new file mode 100644 index 0000000000..e2d0df0a02 --- /dev/null +++ b/test/files/neg/patmat-classtag-compound.scala @@ -0,0 +1,17 @@ +object Test extends App{ + trait Bar + trait Foo + // Failed to give an unchecked warning pre: https://github.com/scala/scala/pull/2848 + // + // Features interacting: + // - implicit class tags to enable type patterns on abstract types + // - type tests on compound types. + // + // We could try make these work together, but an unchecked warning is okay for now. + def x[A: reflect.ClassTag](a: Any): Boolean = a match{ + case b: A with Bar => true + case _ => false + } + println(x[Foo](new Bar{})) + println(x[String]("")) +} |