lampepfl/dotty — pull request #299 by DarkDimius (2014-12-16 18:05:57+00:00)
Title: Try handling inside patternmatcher

Fixes problems that are seen in #285
@odersky please review.