-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Closed as not planned
Labels
area:compiler-pluginsIssues tied with handling of compiler plugins.Issues tied with handling of compiler plugins.itype:bugitype:crashitype:invalid
Description
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 .
Metadata
Metadata
Assignees
Labels
area:compiler-pluginsIssues tied with handling of compiler plugins.Issues tied with handling of compiler plugins.itype:bugitype:crashitype:invalid