From 9904301752c2aa8c8509f1bcd6108f626220524a Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Tue, 25 Sep 2012 18:14:49 -0700 Subject: Additional new tests for unchecked warnings. --- test/files/neg/t5762.check | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 test/files/neg/t5762.check (limited to 'test/files/neg/t5762.check') diff --git a/test/files/neg/t5762.check b/test/files/neg/t5762.check new file mode 100644 index 0000000000..10064032aa --- /dev/null +++ b/test/files/neg/t5762.check @@ -0,0 +1,13 @@ +t5762.scala:6: error: non-variable type argument Int in type pattern D[Int] is unchecked since it is eliminated by erasure + case _: D[Int] if bippy => 1 + ^ +t5762.scala:7: error: non-variable type argument String in type pattern D[String] is unchecked since it is eliminated by erasure + case _: D[String] => 2 + ^ +t5762.scala:20: error: non-variable type argument D[Int] in type pattern D[D[Int]] is unchecked since it is eliminated by erasure + case _: D[D[Int]] if bippy => 1 + ^ +t5762.scala:21: error: non-variable type argument D[String] in type pattern D[D[String]] is unchecked since it is eliminated by erasure + case _: D[D[String]] => 2 + ^ +four errors found -- cgit v1.2.3