[Scala3] Produce indentation errors

[dos65]

Currently, parser doesn't check if indentation is correct.
The following is parsed without errors as Source(Defn.Object(Foo), Defn.Def("bar")) while compiler doesn't accept it:

object Foo:
     def foo: Int = ???
  def bar: Int = ???
 | ^
 |The start of this line does not match any of the previous indentation widths.
 |Indentation width of current line : 1 space
 |This falls between previous widths: 0 spaces and 3 spaces 

[tgodzik]

I think this is actually fine, this way things like Scalafmt can parse it and fix to be of correct indentation. Unless this causes any issues, I would leave as is. It's better to be more permissive than the compiler here.

[tgodzik]

Actually, disregard my comment, bar is not included in Foo, so we should indeed show an error.

[tgodzik]

Actually, this is ok for scalafmt, as it will adjust the code and show the user what is the issue. We might want to have ways to expose warnings, which don't fail the compilation in this case.

[kitbellew]

@tgodzik @dos65 ok to close?

[dos65]

@kitbellew I would keep it open if it wasn't fixed. At least it might be useful in rare cases for Metals

[kitbellew]

@kitbellew I would keep it open if it wasn't fixed. At least it might be useful in rare cases for Metals

so, to clarify, you'd like it be fixed, not just kept open, right? 😉

[dos65]

@kitbellew 😄

so, to clarify, you'd like it be fixed, not just kept open, right?

Yep, ok. I will look at it