Merge pull request #7666 from dotty-staging/fix-projection-loop

Fix #7602: Avoid infinite loop with anonymous projection

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -614,6 +614,7 @@ object Types {
       }
       def goRec(tp: RecType) =
         if (tp.parent == null) NoDenotation
+        else if (tp eq pre) go(tp.parent)
         else {
           //println(s"find member $pre . $name in $tp")
 

tests/pos/i7602.scala

@@ -0,0 +1,7 @@
+object Test {
+  type X[T] = ({ type F[_]; type R = F[T]})#R
+
+  trait Monad[F[_]]
+  type of[M[_[_]], T] = ({ type F[_]; type R = (given M[F]) => F[T]})#R
+  def foo(a: of[Monad, String]) = ???
+}