Skip to content

Commit 392090a

Browse files
committed
Homogenize skolem types
Skolem types are eliminated by pickling, so they should not appear in the "before-pickling" output.
1 parent a6caf1c commit 392090a

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,8 @@ class PlainPrinter(_ctx: Context) extends Printer {
5555
if (tp1 eq tp) tp else homogenize(tp1)
5656
case tp: RefinedType =>
5757
tp.normalizeHkApply
58+
case tp: SkolemType =>
59+
homogenize(tp.info)
5860
case tp: LazyRef =>
5961
homogenize(tp.ref)
6062
case _ =>

0 commit comments

Comments
 (0)