Skip to content

Commit 78c41fe

Browse files
committed
Do not synthesize type tag for param prefixes
1 parent 9dcef1c commit 78c41fe

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -297,7 +297,7 @@ class ReifyQuotes extends MacroTransformWithImplicits with InfoTransformer {
297297
else if (sym.exists && !sym.isStaticOwner && !levelOK(sym))
298298
for (errMsg <- tryHeal(tp, pos))
299299
ctx.error(em"""access to $symStr from wrong staging level:
300-
| - the definition is at level ${levelOf(sym)},
300+
| - the definition is at level ${levelOf.getOrElse(sym, 0)},
301301
| - but the access is at level $level.$errMsg""", pos)
302302
}
303303

compiler/src/dotty/tools/dotc/typer/Implicits.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -571,7 +571,7 @@ trait Implicits { self: Typer =>
571571
}
572572

573573
def synthesizedTypeTag(formal: Type): Tree = formal.argInfos match {
574-
case arg :: Nil =>
574+
case arg :: Nil if !arg.typeSymbol.is(Param) =>
575575
object bindFreeVars extends TypeMap {
576576
var ok = true
577577
def apply(t: Type) = t match {

0 commit comments

Comments
 (0)