Skip to content

Commit 0aa41db

Browse files
committed
Extend comment about @quoteTypeTag
1 parent 4236787 commit 0aa41db

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

compiler/src/dotty/tools/dotc/core/quoted/PickledQuotes.scala

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,11 @@ object PickledQuotes {
8181
val unpickled = unpickle(tastyBytes, args, isType = true)(ctx.addMode(Mode.ReadPositions))
8282
val tpt = unpickled match {
8383
case Block(aliases, tpt) =>
84-
// `@quoteTypeTag type` aliasses are not required after unpickling
84+
// `@quoteTypeTag type` aliases are not required after unpickling.
85+
// Type definitions are placeholders for type holes in the pickled quote, at this point
86+
// those holes have been filled. As we already dealias al references to them in `dealiasTypeTags`
87+
// there is no need to keep their definitions in the tree. As artifacts of quote reification
88+
// they also do not have a meaningful position in the source.
8589
val aliases1 = aliases.filter(!_.symbol.hasAnnotation(defn.InternalQuoted_QuoteTypeTagAnnot))
8690
seq(aliases1, tpt)
8791
case tpt => tpt

0 commit comments

Comments
 (0)