Fix #4884: Fix handling of bounds of type lambdas#4902

Merged

odersky merged 8 commits intoscala:masterfrom

dotty-staging:fix-transparent-2

Aug 8, 2018

Commits on Aug 8, 2018

Always avoid local symbols in tpd.seq
odersky
committed
Fix computations of parameter bounds of HK lambdas
odersky
committed
Improve testcase

Blaisorblade
authored and
odersky
committed
Testcase: more recursion

Blaisorblade
authored and
odersky
committed
Simplify typeParams

Blaisorblade
authored and
odersky
committed
Fix paramInfoAsSeenFrom argument in typedAppliedTypeTree
odersky
committed
Another fix to compute the bounds of type parameters in typedAppliedTypeTree
odersky
committed
Drop redundant test
odersky
committed