lampepfl/dotty — pull request #52 by odersky (2014-03-08 18:23:03+00:00)
Title: Try/collapsed lubs

See comment on third commit for motivation.