lampepfl/dotty — pull request #181 by smarter (2014-10-09 08:50:09+00:00)
Title: Fix subtyping to match DOT rule TDECL-<:

This is based on my understanding of the DOT rules but could be completely wrong/not what we want, feedback welcome.

Review by @odersky @DarkDimius @namin .