Skip to content

Commit 389460c

Browse files
committed
Fix #7944: Only treat erased as a keyword under -Yerased-terms
1 parent 061dc96 commit 389460c

File tree

2 files changed

+10
-1
lines changed

2 files changed

+10
-1
lines changed

compiler/src/dotty/tools/dotc/parsing/Scanners.scala

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,8 @@ object Scanners {
202202
private val commentBuf = new mutable.StringBuilder
203203

204204
private def handleMigration(keyword: Token): Token =
205-
if (!isScala2CompatMode) keyword
205+
if (keyword == ERASED && !ctx.settings.YerasedTerms.value) IDENTIFIER
206+
else if (!isScala2CompatMode) keyword
206207
else if (scala3keywords.contains(keyword)) treatAsIdent()
207208
else keyword
208209

tests/pos/i7944.scala

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
package hello
2+
3+
object HelloWorld {
4+
def main(args: Array[String]): Unit =
5+
println(erased(5))
6+
7+
def erased(x: Int): Any = x
8+
}

0 commit comments

Comments
 (0)