Skip to content

Commit 71acb62

Browse files
committed
Fix tasty test failures
by bringing homogenization of # $Apply projections back.
1 parent 8477394 commit 71acb62

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/dotty/tools/dotc/printing/PlainPrinter.scala

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ package printing
44
import core._
55
import Texts._, Types._, Flags._, Names._, Symbols._, NameOps._, Constants._, Denotations._
66
import Contexts.Context, Scopes.Scope, Denotations.Denotation, Annotations.Annotation
7-
import StdNames.nme
7+
import StdNames.{nme, tpnme}
88
import ast.Trees._, ast._
99
import java.lang.Integer.toOctalString
1010
import config.Config.summarizeDepth
@@ -49,11 +49,11 @@ class PlainPrinter(_ctx: Context) extends Printer {
4949
homogenize(tp1) & homogenize(tp2)
5050
case OrType(tp1, tp2) =>
5151
homogenize(tp1) | homogenize(tp2)
52+
case tp @ TypeRef(_, tpnme.hkApply) =>
53+
val tp1 = tp.reduceProjection
54+
if (tp1 eq tp) tp else homogenize(tp1)
5255
case _ =>
5356
tp
54-
/*val tp1 = tp.simplifyApply
55-
if (tp1 eq tp) tp else homogenize(tp1)
56-
*/
5757
}
5858
else tp
5959

0 commit comments

Comments
 (0)