Skip to content

Commit 7eb40dc

Browse files
committed
Add all symbol levels
1 parent 7148fd5 commit 7eb40dc

File tree

2 files changed

+6
-3
lines changed

2 files changed

+6
-3
lines changed

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

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -46,12 +46,11 @@ abstract class TreeMapWithStages(@constructorOnly ictx: Context) extends TreeMap
4646
/** Localy defined symbols seen so far by `StagingTransformer.transform` */
4747
protected def localSymbols: List[Symbol] = enteredSyms
4848

49-
/** Enter staging level of symbol defined by `tree`, if applicable. */
49+
/** Enter staging level of symbol defined by `tree` */
5050
private def markSymbol(sym: Symbol)(implicit ctx: Context): Unit =
51-
if ((sym.isClass || sym.maybeOwner.isTerm) && !levelOfMap.contains(sym)) {
51+
if (!levelOfMap.contains(sym))
5252
levelOfMap(sym) = level
5353
enteredSyms = sym :: enteredSyms
54-
}
5554

5655
/** Enter staging level of symbol defined by `tree`, if applicable. */
5756
private def markDef(tree: Tree)(implicit ctx: Context): Unit = tree match {

tests/pos/quote-type-with-param.scala

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
import scala.quoted._
2+
3+
def f(using QuoteContext): Unit =
4+
'{ type T[X] = List[X] }

0 commit comments

Comments
 (0)