Fix #5844: Use an approximating type map to substitute parent type params #5899

Merged

smarter merged 2 commits intoscala:masterfrom

dotty-staging:fix-#5844

Feb 16, 2019

Commits on Feb 15, 2019

Fix #5844: Use an approximating type map to substitute parent type params
odersky
committed
Update compiler/src/dotty/tools/dotc/core/Substituters.scala

smarter
and
odersky
authored