standalone wait crashes compiler when invoked from Stainless

[vkuncak]

Compiler version

3.5.0

Minimized code

object BugReport:
  val t: Thread = new Thread {
    override def run: Unit = {
      wait()
    }
  }

Output (click arrow to expand)

  An unhandled exception was thrown in the compiler.
  Please file a crash report here:
  https://github.com/scala/scala3/issues/new/choose
  For non-enriched exceptions, compile with -Xno-enrich-error-messages.

     while compiling: BugReport.scala
        during phase: stainless
                mode: Mode(ImplicitsEnabled)
     library version: version 2.13.14
    compiler version: version 3.5.0
            settings: -Wsafe-init true -classpath /home/kuncak/software/stainless/frontends/dotty/target/universal/stage/lib/org.scala-lang.scala-library-2.13.14.jar:/home/kuncak/software/stainless/frontends/dotty/target/universal/stage/lib/org.scala-lang.scala3-library_3-3.5.0.jar -color never -language List(implicitConversions)

Note: this works with Stainless version: 0.9.8.8-27-ga681d38 .

[Gedochao]

@vkuncak it seems the crash is caused by stainless itself, rather than the compiler.
The issue should be raised in the stainless backlog, is what I'm guessing, rather than here.

• https://github.com/epfl-lara/stainless/issues

However, perhaps we should improve the compiler error message not to point to our issue backlog when a crash originates from a compiler plugin phase.

[Gedochao]

Let's track the error message enhancement under:

• Don't point to the compiler backlog when a compiler plugin phase crashes #21783

Closing this, nothing to do here.