lampepfl/dotty — pull request #180 by smarter (2014-10-09 07:29:43+00:00)
Title:  Fix subtyping of types without symbols 

Review by @odersky @DarkDimius @namin