Optimizations in typeref creation.

A couple locations where more work than necessary is performed
when created a typeref.  (Not to mention creating bogus typerefs
applying arguments to implementation classes.)

2 files changed, 3 insertions, 3 deletions

diff --git a/src/compiler/scala/reflect/internal/Types.scala b/src/compiler/scala/reflect/internal/Types.scala
index 38f51b1459..f37509af39 100644
--- a/src/compiler/scala/reflect/internal/Types.scala
+++ b/src/compiler/scala/reflect/internal/Types.scala
@@ -1900,7 +1900,7 @@ A type's typeSymbol should never be inspected directly.
     // note: does not go through typeRef. There's no need to because
     // neither `pre` nor `sym` changes.  And there's a performance
     // advantage to call TypeRef directly.
-    override def typeConstructor = TypeRef(pre, sym, Nil)
+    override def typeConstructor = if (args.isEmpty) this else TypeRef(pre, sym, Nil)
 
     // A reference (in a Scala program) to a type that has type
     // parameters, but where the reference does not include type
diff --git a/src/compiler/scala/tools/nsc/transform/AddInterfaces.scala b/src/compiler/scala/tools/nsc/transform/AddInterfaces.scala
index 4e8e678dc8..c59a819b02 100644
--- a/src/compiler/scala/tools/nsc/transform/AddInterfaces.scala
+++ b/src/compiler/scala/tools/nsc/transform/AddInterfaces.scala
@@ -148,8 +148,8 @@ abstract class AddInterfaces extends InfoTransform {
        */
       def mixinToImplClass(tp: Type): Type = erasure(sym,
         tp match { //@MATN: no normalize needed (comes after erasure)
-          case TypeRef(pre, sym, args) if sym.needsImplClass =>
-            typeRef(pre, implClass(sym), args)
+          case TypeRef(pre, sym, _) if sym.needsImplClass =>
+            typeRef(pre, implClass(sym), Nil)
           case _ =>
             tp
         }