Skip to content

Commit 6643de1

Browse files
committed
Fix #7742: Ensure the indentWidth is never null
1 parent 2437276 commit 6643de1

File tree

3 files changed

+14
-1
lines changed

3 files changed

+14
-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
@@ -1359,7 +1359,8 @@ object Scanners {
13591359

13601360
case class InBraces(var width: IndentWidth | Null, outer: Region)
13611361
extends IndentSignificantRegion {
1362-
override def indentWidth = width
1362+
override def indentWidth =
1363+
if width == null then IndentWidth.Zero else width
13631364
}
13641365

13651366
/** A class describing an indentation region.

tests/neg/i7742.scala

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
object A {
2+
for // error // error
3+
}

tests/pos/i7741.scala

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
class A1 {
2+
@native private def a: Unit
3+
}
4+
trait A2 {
5+
erased def i(a: Int): Int
6+
}
7+
trait A3 {
8+
erased val a: Int
9+
}

0 commit comments

Comments
 (0)