Add error message for polymorphic methods in structured refinements#3744

Merged

allanrenucci merged 2 commits intoscala:masterfrom

Wojtechnology:ws-error-poly-refinement

Jan 5, 2018

Commits on Jan 3, 2018

Add error message for polymorphic methods in structured refinements
Wojtechnology
committed

Commits on Jan 4, 2018

Changed parent reference from type to symbol
Wojtechnology
committed