Bad indentation parsing at code misalignment

[soronpo]

minimized code

Important! Keep the indentation as set in this example.

val a = 1

  trait Test[A]
  object Test {
    implicit def ev[A] : Test[A] = new Test[A]{}
  }

  val fetch = implicitly[Test[1]]

@main def main() : Unit = {}

See scastie: https://scastie.scala-lang.org/Ixn7YUAZSjSCPgKbNQR5Wg

Compilation output

no implicit argument of type Test[(1 : Int)] was found for parameter ev of method implicitly in object DottyPredef

The following import might fix the problem:

  import Test.this.Test.ev

expectation

No error.

[smarter]

-Xprint:parser says:

package <empty> {
  import collection.immutable._
  trait Test[A] {
    module object Test {
      implicit def ev[A]: Test[A] =
        new Test[A] {
          <empty>
        }
    }
    val fetch = implicitly[Test[1.type]]
  }
  @main() def main(): Unit =
    {
      <empty>
    }
}

Notice the object Test appears inside the trait Test, that's unexpected to say the least /cc @odersky

[odersky]

This is a nice example to illustrate why we should not just observe indentation without a specific leading token. This will be fixed once we allow only the currently specced indentation syntax, and drop supporting the old experiments.