Fix #4753: Direct method should keep `Override` if overriden nonempty#4792

Merged

allanrenucci merged 1 commit intoscala:masterfrom

dotty-staging:fix-4753

Jul 17, 2018

Commits on Jul 13, 2018

Fix #4753: Direct method should keep `Override` if overriden nonempty
liufengyun
committed