Fix #1447: Make X$ <:< X.type when X is an object#1448

Merged

smarter merged 1 commit intoscala:masterfrom

dotty-staging:fix/object-subtyping

Aug 12, 2016

Commits on Aug 10, 2016

Fix #1447: Make X$ <:< X.type when X is an object
smarter
committed