Drop withoutNameSpace

Can be replaced by withNameSpace(noNameSpace).

Author: odersky

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

@@ -1917,14 +1917,6 @@ object Types {
       if (nameSpace == this.nameSpace) this
       else NamedType(prefix, designator.withNameSpace(nameSpace))
 
-    /** Create a NamedType of the same kind as this type, but without a namespace
-     */
-    def withoutNameSpace(implicit ctx: Context): NamedType =
-      (designator: Designator) match { // Dotty deviation: need the widening
-        case LocalName(underlying, _) => NamedType(prefix, underlying)
-        case _ => this
-      }
-
     override def equals(that: Any) = that match {
       case that: NamedType =>
         this.designator == that.designator &&
@@ -1995,9 +1987,6 @@ object Types {
           else designator
         fixDenot(TermRef(prefix, designator1), prefix)
     }
-
-    override def withoutNameSpace(implicit ctx: Context): NamedType =
-      fixDenot(super.withoutNameSpace.asInstanceOf[TermRef], prefix)
   }
 
   abstract case class TypeRef(override val prefix: Type, designator: TypeDesignator) extends NamedType {

compiler/src/dotty/tools/dotc/transform/ParamForwarding.scala

@@ -72,7 +72,8 @@ class ParamForwarding(thisTransformer: DenotTransformer) {
                     if (alias.owner != currentClass.superClass)
                       // need to use shadowed in order not to accidentally address an
                       // intervening private forwarder in the superclass
-                      superAcc = superAcc.withType(superAcc.tpe.asInstanceOf[TermRef].withoutNameSpace)
+                      superAcc = superAcc.withType(
+                        superAcc.tpe.asInstanceOf[TermRef].withNameSpace(noNameSpace))
                     typr.println(i"adding param forwarder $superAcc")
                     DefDef(sym, superAcc.ensureConforms(sym.info.widen))
                   }

compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala

@@ -188,7 +188,7 @@ trait TypeAssigner {
           // an inherited non-private member with the same name and signature.
           val d2 = pre.nonPrivateMember(name)
           if (reallyExists(d2) && firstTry)
-            test(tpe.withoutNameSpace.withDenot(d2), false)
+            test(tpe.withNameSpace(noNameSpace).withDenot(d2), false)
           else if (pre.derivesFrom(defn.DynamicClass)) {
             TryDynamicCallType
           } else {