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.

1 files changed, 11 insertions, 0 deletions

diff --git a/test/files/pos/t8060.scala b/test/files/pos/t8060.scala
new file mode 100644
index 0000000000..90e014d74b
--- /dev/null
+++ b/test/files/pos/t8060.scala
@@ -0,0 +1,11 @@
+trait M[F[_]]
+ 
+trait P[A] {
+  type CC[X] = P[X]
+  def f(p: A => Boolean): M[CC]
+}
+ 
+trait Other {
+  // was infinite loop trying to dealias `x$1.CC`
+  def g[A](p: A => Boolean): P[A] => M[P] = _ f p
+}