From 7553e6901d52ace00bfcb670336c480766c8301c Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Tue, 5 Oct 2010 15:34:37 +0000 Subject: Improves exhaustiveness analysis to not warn ab... Improves exhaustiveness analysis to not warn about types which cannot match due to nonconformant type parameters. Also, look at the different warnings emitted in the test case based on the presence of a constraint. Nifty! Closes #3683, no review. --- test/files/neg/bug3683b.check | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 test/files/neg/bug3683b.check (limited to 'test/files/neg/bug3683b.check') diff --git a/test/files/neg/bug3683b.check b/test/files/neg/bug3683b.check new file mode 100644 index 0000000000..3952633d1d --- /dev/null +++ b/test/files/neg/bug3683b.check @@ -0,0 +1,6 @@ +bug3683b.scala:15: error: constructor cannot be instantiated to expected type; + found : X + required: W[Bar] + case X() => 1 + ^ +one error found -- cgit v1.2.3