Only use EXPLICITtpt for TypeTree containing TermRefs

nicolasstucki · nicolasstucki · commit 46a8d132543c · 2023-08-07T16:53:09.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala b/compiler/src/dotty/tools/dotc/core/tasty/TreePickler.scala
@@ -695,7 +695,9 @@ class TreePickler(pickler: TastyPickler) {
             writeNat(idx)
             pickleType(tree.tpe, richTypes = true)
             args.foreach { arg =>
-              if arg.isType then writeByte(EXPLICITtpt)
+              arg.tpe match
+                case _: TermRef if arg.isType => writeByte(EXPLICITtpt)
+                case _ =>
               pickleTree(arg)
             }
           }

Original file line number	Diff line number	Diff line change
`@@ -695,7 +695,9 @@ class TreePickler(pickler: TastyPickler) {`
`695`	`695`	`writeNat(idx)`
`696`	`696`	`pickleType(tree.tpe, richTypes = true)`
`697`	`697`	`args.foreach { arg =>`
`698`		`- if arg.isType then writeByte(EXPLICITtpt)`
	`698`	`+ arg.tpe match`
	`699`	`+ case _: TermRef if arg.isType => writeByte(EXPLICITtpt)`
	`700`	`+ case _ =>`
`699`	`701`	`pickleTree(arg)`
`700`	`702`	`}`
`701`	`703`	`}`