@@ -909,7 +909,7 @@ trait Implicits { self: Typer =>
909909 val cls = mirroredType.classSymbol
910910 val accessors = cls.caseAccessors.filterNot(_.is(PrivateLocal ))
911911 val elemLabels = accessors.map(acc => ConstantType (Constant (acc.name.toString)))
912- val (monoType, elemTypes ) = mirroredType match {
912+ val (monoType, elemsType ) = mirroredType match {
913913 case mirroredType : HKTypeLambda =>
914914 val elems =
915915 mirroredType.derivedLambdaType(
@@ -924,7 +924,7 @@ trait Implicits { self: Typer =>
924924 }
925925 val mirrorType =
926926 mirrorCore(defn.Mirror_ProductType , monoType, mirroredType, cls.name)
927- .refinedWith(tpnme.MirroredElemTypes , TypeAlias (elemTypes ))
927+ .refinedWith(tpnme.MirroredElemTypes , TypeAlias (elemsType ))
928928 .refinedWith(tpnme.MirroredElemLabels , TypeAlias (TypeOps .nestedPairs(elemLabels)))
929929 val mirrorRef =
930930 if (cls.is(Scala2x )) anonymousMirror(monoType, ExtendsProductMirror , span)
@@ -990,7 +990,7 @@ trait Implicits { self: Typer =>
990990 case child => child.termRef
991991 }
992992
993- val (monoType, elemTypes ) = mirroredType match {
993+ val (monoType, elemsType ) = mirroredType match {
994994 case mirroredType : HKTypeLambda =>
995995 val elems = mirroredType.derivedLambdaType(
996996 resType = TypeOps .nestedPairs(cls.children.map(solve))
@@ -1005,7 +1005,7 @@ trait Implicits { self: Typer =>
10051005
10061006 val mirrorType =
10071007 mirrorCore(defn.Mirror_SumType , monoType, mirroredType, cls.name)
1008- .refinedWith(tpnme.MirroredElemTypes , TypeAlias (elemTypes ))
1008+ .refinedWith(tpnme.MirroredElemTypes , TypeAlias (elemsType ))
10091009 .refinedWith(tpnme.MirroredElemLabels , TypeAlias (TypeOps .nestedPairs(elemLabels)))
10101010 val mirrorRef =
10111011 if (cls.linkedClass.exists && ! cls.is(Scala2x )) companionPath(mirroredType, span)
0 commit comments