Fix #1753: Better comparison of path types#1760

Merged

odersky merged 1 commit intoscala:masterfrom

dotty-staging:fix-#1753

Nov 30, 2016

Commits on Nov 30, 2016

Fix $1753 Better comparison of path types
odersky
committed