lampepfl/dotty — pull request #230 by odersky (2014-11-16 11:59:45+00:00)
Title: Try to avoid overconstraining when comparing and/or types

Review by @smarter