diff options
author | Paul Phillips <paulp@improving.org> | 2011-05-06 04:32:39 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-05-06 04:32:39 +0000 |
commit | 311b7de861bd2f4137e3503483177a1588cfdd12 (patch) | |
tree | 7b784b842cdf4a791a056e045eb4aa208c1e755a /test/files/neg/bug3098 | |
parent | 14cd653295b5ed3f10b82193a9fb6da0867e31d6 (diff) | |
download | scala-311b7de861bd2f4137e3503483177a1588cfdd12.tar.gz scala-311b7de861bd2f4137e3503483177a1588cfdd12.tar.bz2 scala-311b7de861bd2f4137e3503483177a1588cfdd12.zip |
Finally figured out what was going on with a ce...
Finally figured out what was going on with a certain class of
exhaustiveness checking bugs. Hey moors, you can put away your pins,
puppets, and magic sauces. Closes #3098, no review.
Diffstat (limited to 'test/files/neg/bug3098')
-rw-r--r-- | test/files/neg/bug3098/a.scala | 6 | ||||
-rw-r--r-- | test/files/neg/bug3098/b.scala | 8 |
2 files changed, 14 insertions, 0 deletions
diff --git a/test/files/neg/bug3098/a.scala b/test/files/neg/bug3098/a.scala new file mode 100644 index 0000000000..57a103c7a8 --- /dev/null +++ b/test/files/neg/bug3098/a.scala @@ -0,0 +1,6 @@ +// Traits.scala +sealed trait T + +trait A extends T +trait B extends T +trait C extends T diff --git a/test/files/neg/bug3098/b.scala b/test/files/neg/bug3098/b.scala new file mode 100644 index 0000000000..84a1f9f6f4 --- /dev/null +++ b/test/files/neg/bug3098/b.scala @@ -0,0 +1,8 @@ +// Test.scala +object Test { + def f = (null: T) match { + case _: A => println("A") + case _: B => println("B") + // no C + } +} |