Introduce MirroredTypeConstructor

Author: odersky

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

@@ -343,6 +343,7 @@ object StdNames {
     val MirroredElemLabels: N   = "MirroredElemLabels"
     val MirroredLabel: N        = "MirroredLabel"
     val MirroredMonoType: N     = "MirroredMonoType"
+    val MirroredTypeConstructor: N  = "MirroredTypeConstructor"
     val Modifiers: N            = "Modifiers"
     val NestedAnnotArg: N       = "NestedAnnotArg"
     val NoFlags: N              = "NoFlags"

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

@@ -26,6 +26,7 @@ import ProtoTypes._
 import ErrorReporting._
 import reporting.diagnostic.Message
 import Inferencing.fullyDefinedType
+import TypeApplications.EtaExpansion
 import Trees._
 import transform.SymUtils._
 import transform.TypeUtils._
@@ -817,12 +818,23 @@ trait Implicits { self: Typer =>
 
   /** The mirror type
    *
-   *     <parent> { MirroredMonoType = <monoType; MirroredLabel = <label> }
+   *     <parent> {
+   *       MirroredMonoType = <monoType>
+   *       MirroredTypeConstrictor = <tycon>
+   *       MirroredLabel = <label> }
    */
-  private def mirrorCore(parent: Type, monoType: Type, label: Name)(implicit ctx: Context) =
+  private def mirrorCore(parent: Type, monoType: Type, label: Name)(implicit ctx: Context) = {
+    val mirroredType = monoType match {
+      case monoType @ AppliedType(tycon, targs) if targs.forall(_.isInstanceOf[TypeBounds]) =>
+        EtaExpansion(tycon)
+      case _ =>
+        monoType
+    }
     parent
       .refinedWith(tpnme.MirroredMonoType, TypeAlias(monoType))
+      .refinedWith(tpnme.MirroredTypeConstructor, TypeAlias(mirroredType))
       .refinedWith(tpnme.MirroredLabel, TypeAlias(ConstantType(Constant(label.toString))))
+  }
 
   /** A path referencing the companion of class type `clsType` */
   private def companionPath(clsType: Type, span: Span)(implicit ctx: Context) = {