WIP Relax realizability for erased members, treat them like lazy ones#4290

Closed

Blaisorblade wants to merge 13 commits intoscala:masterfrom

dotty-staging:relax-realizability-erased

Commits on Apr 5, 2018

Clean up logic for isStable

odersky
authored and
Blaisorblade
committed
Fix #4031: Check arguments of dependent methods for realizability

odersky
authored and
Blaisorblade
committed
Fix typo
Blaisorblade
committed
Special case comparison with Any

odersky
authored and
Blaisorblade
committed
Align isRealizable with isStable

odersky
authored and
Blaisorblade
committed
Harden RefChecks

odersky
authored and
Blaisorblade
committed
Refactor realizability to also cache result of isStableRealizable
Blaisorblade
committed