lampepfl/dotty — pull request #276 by odersky (2014-12-13 11:02:50+00:00)
Title: Fix subtyping of null and refined types.

Review by @smarter