Fix #4031, v2: Check arguments of dependent methods for realizability (WIP)#5557

Closed

Blaisorblade wants to merge 13 commits intoscala:masterfrom

dotty-staging:fix-4031-2

Commits on Nov 26, 2018

Fix #5521: prefix not checked in realizability check
abeln
committed

Commits on Nov 29, 2018

Commits on Dec 2, 2018