Omit patching up hk-types in checkNonCyclic

It's not needed under the new hk scheme.

Author: odersky

src/dotty/tools/dotc/typer/Checking.scala

@@ -116,15 +116,11 @@ object Checking {
         val saved = cycleOK
         cycleOK = nestedCycleOK
 
-        /** A derived refined type with two possible tweaks:
-         *  (1) LazyRefs in parents are pulled out,
-         *  (2) #Apply is added if the type is a fully applied type lambda.
+        /** A derived refined type but where LazyRefs in parents are pulled out,
          */
         def derivedType(p: Type): Type = p match {
           case p: LazyRef => LazyRef(() => derivedType(p.ref))
-          case _ =>
-            val res = tp.derivedRefinedType(p, name, this(tp.refinedInfo))
-            if (res.isSafeLambda && res.typeParams.isEmpty) res.select(tpnme.Apply) else res
+          case _ => tp.derivedRefinedType(p, name, this(tp.refinedInfo))
         }
         try derivedType(parent1) finally cycleOK = saved
       case tp @ TypeRef(pre, name) =>