We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6e20e72 commit 29a551bCopy full SHA for 29a551b
compiler/src/dotty/tools/dotc/transform/PCPCheckAndHeal.scala
@@ -112,7 +112,7 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
112
if (tp.isTerm)
113
ctx.error(i"splice outside quotes", pos)
114
tp
115
- case tp: TypeRef if tp.prefix.derivesFrom(defn.QuotedTypeClass) && tp.name.toString == "T" =>
+ case tp: TypeRef if tp.symbol == defn.QuotedTypeClass.typeParams.head =>
116
// Adapt direct references to the type of the type parameter T of a quoted.Type[T].
117
// Replace it with a properly encoded type splice. This is the normal for expected for type splices.
118
tp.prefix.select(tpnme.splice)
0 commit comments