Fix #1543: Ignore IgnoredProto when normalizing method application.#1577

Merged

odersky merged 1 commit intoscala:masterfrom

dotty-staging:fix-1543-2

Oct 13, 2016

Commits on Oct 11, 2016

Fix #1543: Ignore IgnoredProto when normalizing method application.
nicolasstucki
committed