From 0271a4a3944153bb4fcc81e3b250bc084b692db3 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Tue, 19 Nov 2013 21:19:25 +0100 Subject: SI-7984 Issue unchecked warning for type aliases - Dealias pattern types before launching the CheckabilityChecker - Sharpen the error messages to explain that the dealiased type is the expansion of the alias. --- test/files/neg/t7984.check | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 test/files/neg/t7984.check (limited to 'test/files/neg/t7984.check') diff --git a/test/files/neg/t7984.check b/test/files/neg/t7984.check new file mode 100644 index 0000000000..0cfd7d1619 --- /dev/null +++ b/test/files/neg/t7984.check @@ -0,0 +1,6 @@ +t7984.scala:4: warning: non-variable type argument Int in type pattern List[Int] (the underlying of Test.this.ListInt) is unchecked since it is eliminated by erasure + case is: ListInt => is.head + ^ +error: No warnings can be incurred under -Xfatal-warnings. +one warning found +one error found -- cgit v1.2.3