Error message for lazy var and inline var is wrong: says erased instead of lazy or inline

[bjornregnell]

Compiler version

3.0.0-RC2-bin-20210323-d4f1c26-NIGHTLY

Minimized code and Output

scala> lazy var x = 42
1 |lazy var x = 42
  |         ^
  |         Modifier `erased` is not allowed for this definition

Expectation

Error message falsely says that the lazy modifier is erased, instead it should be:

scala> lazy var x = 42
1 |lazy var x = 42
  |         ^
  |         Modifier `lazy` is not allowed for this definition

[bjornregnell]

Same for inline:

scala> inline var x = 42                                                                                           
1 |inline var x = 42
  |           ^
  |           Modifier `erased` is not allowed for this definition

[bjornregnell]

Error string seems to come from here: https://github.com/lampepfl/dotty/blob/a582d01f86ff4055459b58be18daee6fe3d823c2/compiler/src/dotty/tools/dotc/reporting/messages.scala#L2458-L2462

[bjornregnell]

Seems to be hardcoded to Erased here:
https://github.com/lampepfl/dotty/blob/46eb23e273be183a34b0d7873b3ce16f7bd919b7/compiler/src/dotty/tools/dotc/typer/Checking.scala#L436-L438
Should the argument not be flag instead of Erased?

[bjornregnell]

PR now here #11878