lampepfl/dotty — pull request #275 by odersky (2014-12-12 16:48:00+00:00)
Title: Fix/#266 lambda lift

Fixed problems with methods getting too large a scope in LambdaLift. Review by @DarkDimius