Incorrect handling of `end <id>`

Compiler version

scala-3.0.1-RC1 (https://github.com/lampepfl/dotty/commit/83acd4b9e9e7af49f3702022c0ef08209f123f29)

Minimized code

This code shouldn’t have been compiled, but it did:

class C {
}
end C

And automatic rewriting (-rewrite -no-indent) does not delete the end. For this code:

class C:
  val foo: Int = 0
end C

After compiling with scalac -rewrite -no-indent:

class C {
  val foo: Int = 0
}
end C

[som-snytt]

Sorry, I didn’t cite the reference doc for end: https://dotty.epfl.ch/docs/reference/other-new-features/indentation.html#the-end-marker

I understand the quote merely to imply that end is not intended as an alternative to brace, so I think the example ought to compile.

I agree there are varying preferences about the syntax. However, the greatest passions are reserved for comments, and while I am now a satisfied user of the end marker, I shall always recoil at the end comment:

class C {
  LOLOC()  // lots of lines of code
} // end C

It would be especially diabolical if the rewrite not only didn’t remove the end marker, but put it behind a line comment after the brace.

[som-snytt]

OK

package p {
}
end p

but not

package p:
end p

or

package p
end p

nor

package p
class C
end p