Address reviewer's comments

Author: odersky

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

@@ -90,7 +90,7 @@ trait TypeOps { this: Context => // TODO: Make standalone object.
           else {
             val pre1 = asSeenFrom(tp.prefix, pre, cls, theMap)
             if (pre1.isUnsafeNonvariant) {
-              val safeCtx = ctx.withProperty(TypeOps.findMemberLimit, Some(Config.PendingFindMemberLimit))
+              val safeCtx = ctx.withProperty(TypeOps.findMemberLimit, Some(()))
               pre1.member(tp.name)(safeCtx).info match {
                 case TypeAlias(alias) =>
                   // try to follow aliases of this will avoid skolemization.
@@ -565,5 +565,5 @@ object TypeOps {
    *  of recursive member searches. If the limit is reached, findMember returns
    *  NoDenotation.
    */
-  val findMemberLimit = new Property.Key[Int]
+  val findMemberLimit = new Property.Key[Unit]
 }

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

@@ -575,10 +575,9 @@ object Types {
         ctx.findMemberCount = recCount
         if (recCount >= Config.LogPendingFindMemberThreshold) {
           ctx.pendingMemberSearches = name :: ctx.pendingMemberSearches
-          ctx.property(TypeOps.findMemberLimit) match {
-            case Some(limit) if ctx.findMemberCount > limit => return NoDenotation
-            case _ =>
-          }
+          if (ctx.property(TypeOps.findMemberLimit).isDefined &&
+              ctx.findMemberCount > Config.PendingFindMemberLimit)
+            return NoDenotation
         }
       }