Crash with Stainless unknown wait method of Thread reported as compiler crash

[vkuncak]

I suppose it's a callback in extraction:

scala/scala3#21758

This code:

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

crashes Stainless, stainless Test.scala

  unhandled exception while running stainless on Test.scala

  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: Test.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)

but works when given the apparently same options to the compiler:

scalac -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 -language:implicitConversions -color:never Test.scala