Fix #4880: always instantiate prefix tvar#4897

Merged

Blaisorblade merged 3 commits intoscala:masterfrom

dotty-staging:fix-4880

Aug 13, 2018

Commits on Aug 12, 2018

Fix #4880: always instantiate prefix tvar

liufengyun
authored and
Blaisorblade
committed

Commits on Aug 13, 2018

add further examples

Blaisorblade
authored and
liufengyun
committed
avoid minimize in prefix inference
liufengyun
committed