scala/scala — pull request #3251 by retronym (2013-12-10 00:38:25+00:00)
Title: SI-8060 Avoid infinite loop with higher kinded type alias

The `dealiasLocals` map was assuming that:

tp.isAliasType implies (tp.dealias ne tp)

This isn't true if `!typeParamsMatchArgs`.

This commit avoids the infinite loop by checking whether or not
dealiasing progresses.