lampepfl/dotty — pull request #292 by odersky (2014-12-15 16:57:04+00:00)
Title: Fix/#290 type bind

Closes #290. Review by @DarkDimius