revert previous approach

Author: nox213

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

@@ -748,22 +748,7 @@ object TypeOps:
     //
     if (child.name == tpnme.LOCAL_CHILD) return child.typeRef
 
-    val childTp = {
-      val parentSym = parent.typeSymbol
-      val parentPre = parent.normalizedPrefix
-      val defaultRef = if (child.isTerm) child.termRef else child.typeRef
-
-      if (parentSym.isClass && parentPre.isInstanceOf[TermRef]) {
-        val newPrefix = childPrefix(parentPre, parentSym, child)
-        if (newPrefix.exists)
-          if (child.isTerm) TermRef(newPrefix, child.asTerm)
-          else TypeRef(newPrefix, child.asType)
-        else
-          defaultRef
-      }
-      else
-        defaultRef
-    }
+    val childTp = if (child.isTerm) child.termRef else child.typeRef
 
     inContext(ctx.fresh.setExploreTyperState().setFreshGADTBounds.addMode(Mode.GadtConstraintInference)) {
       instantiateToSubType(childTp, parent, mixins).dealias