Avoid dealiasing on type application

When applying a type alias of a type lambda, keep the original
application instead of reducing. But reduce anyway if

 - the reduced type is an application where the type
   constructor has the same kind as the original type constructor, or
 - some of the arguments are wildcards.

1 files changed, 5 insertions, 5 deletions

diff --git a/src/dotty/tools/dotc/core/TypeParamInfo.scala b/src/dotty/tools/dotc/core/TypeParamInfo.scala
index 1d79e4204..647c895db 100644
--- a/src/dotty/tools/dotc/core/TypeParamInfo.scala
+++ b/src/dotty/tools/dotc/core/TypeParamInfo.scala
@@ -1,6 +1,6 @@
 package dotty.tools.dotc.core
 
-import Names.Name
+import Names.TypeName
 import Contexts.Context
 import Types.{Type, TypeBounds}
 
@@ -15,22 +15,22 @@ trait TypeParamInfo {
   def isTypeParam(implicit ctx: Context): Boolean
 
   /** The name of the type parameter */
-  def paramName(implicit ctx: Context): Name
+  def paramName(implicit ctx: Context): TypeName
 
   /** The info of the type parameter */
   def paramBounds(implicit ctx: Context): TypeBounds
 
   /** The info of the type parameter as seen from a prefix type.
    *  For type parameter symbols, this is the `memberInfo` as seen from `prefix`.
-   *  For type lambda parameters, it's the same as `paramBounds` as 
+   *  For type lambda parameters, it's the same as `paramBounds` as
    *  `asSeenFrom` has already been applied to the whole type lambda.
    */
   def paramBoundsAsSeenFrom(pre: Type)(implicit ctx: Context): TypeBounds
-  
+
   /** The parameter bounds, or the completer if the type parameter
    *  is an as-yet uncompleted symbol.
    */
-  def paramBoundsOrCompleter(implicit ctx: Context): Type 
+  def paramBoundsOrCompleter(implicit ctx: Context): Type
 
   /** The variance of the type parameter */
   def paramVariance(implicit ctx: Context): Int