Scala.js Optimizer Crash: Labeled+Return Of Inline Class

Oct 13, 2025 by ADMIN 57 views

Have you ever encountered a mysterious crash in your Scala.js project? One particularly tricky issue involves the optimizer crashing when dealing with Labeled blocks, Return nodes, and inline classes. Let's dive into the details of this bug, explore the conditions that trigger it, and understand how to work around it.

Understanding the Scala.js Optimizer Crash

The Scala.js optimizer is a crucial component that enhances the performance of your Scala.js applications by applying various optimizations to the generated JavaScript code. However, like any complex system, it can sometimes encounter unexpected issues. One such issue arises when specific conditions related to Labeled blocks, Return nodes, and inline classes coincide.

Key Concepts: Labeled Blocks, Return Nodes, and Inline Classes

Before we delve into the specifics of the crash, let's clarify the key concepts involved:

Labeled Blocks: In Scala, a labeled block is a block of code that is given a label, allowing you to use return statements to exit the block prematurely. This is particularly useful in situations where you need to break out of nested loops or complex control structures.
Return Nodes: A Return node represents a return statement within the Scala.js Intermediate Representation (IR). It signifies the point at which a value is returned from a function or block.
Inline Classes: Inline classes are a powerful feature in Scala that allows you to create zero-overhead abstractions. They are essentially value classes that avoid runtime object allocation, leading to improved performance. However, they can sometimes introduce complexities during optimization.

The Crash Scenario

The Scala.js optimizer crash we're discussing occurs when the following conditions all converge:

A Labeled block contains a Return node that returns an instance of an @inline class. This means that an inline class is being returned from within a labeled block.
The optimizer is able to fold the result to that single Return, eliminating other potential Return statements. This optimization step simplifies the code by reducing the number of return points.
The Labeled block is used in a position that triggers pretransformation. Pretransformation is a process where the code is transformed before further optimization steps are applied. This typically happens when the Labeled block is passed as an argument to a method or assigned to a val.
The code within the Labeled block is deemed dead code, often because the result is unused or the val it's assigned to is unused. Dead code elimination is a common optimization technique that removes code that has no effect on the program's outcome.
This scenario occurs as the last statement in a Block. The specific positioning of the code within a block seems to play a role in triggering the crash.

When these conditions are met, the optimizer may crash with the following error message:

java.lang.AssertionError: assertion failed: Cannot create a `Tree` with record type `RecordType(List())`

This error indicates an internal issue within the optimizer's tree representation of the code.

Diving Deeper into the Error

To truly grasp the situation, let's break down the error message and the circumstances that lead to it.

The error message, java.lang.AssertionError: assertion failed: Cannot create a Tree with record type RecordType(List()), tells us that the optimizer is failing to construct a specific type of tree structure. In the context of Scala.js, a "Tree" refers to a node in the Abstract Syntax Tree (AST), which represents the code's structure in a hierarchical manner.

The "record type RecordType(List())" suggests that the optimizer is trying to create a tree node associated with a record type, but the list of fields within the record type is empty. This is an unexpected scenario, and the optimizer isn't equipped to handle it, leading to the assertion failure.

Why does this happen?

This issue is a complex interaction between several optimization steps. Here's a simplified breakdown:

Inline Class and Return: The use of an inline class means that the compiler attempts to replace the creation of the object with the actual code of the class. When this happens within a Labeled block and a Return statement, it creates a specific IR structure.
Optimizer Folding: The optimizer tries to simplify the code by folding the result of the Labeled block to a single Return. This means that if there are multiple potential return paths, the optimizer tries to reduce them to one.
Pretransform and Dead Code Elimination: The pretransform step prepares the code for further optimization, and the dead code elimination phase removes code that doesn't affect the program's outcome. If the result of the Labeled block isn't used, the optimizer marks it as dead code.
The Trigger: The crash seems to be triggered when the optimizer tries to create a Tree for a Labeled block that has been pretransformed and then deemed dead code, specifically when it's the last statement in a Block.

A Concrete Example

To illustrate the issue, consider the following minimized code snippet:

object Test {
  @noinline def testMinimized(): Unit = {
    val instance = makeBug(5)
    val _ = instance // This line is crucial for triggering the bug
  }

  @inline def makeBug(x: Int): Bug = {
    // Use an explicit `return` to cause a Labeled block and its Return node
    return new Bug(x)
  }
}

@inline final class Bug(val x: Int)

In this example:

Bug is an inline class.
makeBug is an inline method that returns an instance of Bug using an explicit return statement, creating a Labeled block and a Return node.
In testMinimized, the result of makeBug is assigned to instance, but then it's immediately assigned to _, indicating that it's unused. This makes the optimizer consider the code as dead.

This specific combination of factors triggers the optimizer crash.

Implications and Workarounds

This optimizer crash can be frustrating, as it can halt the compilation process and prevent you from running your Scala.js application. Fortunately, there are ways to work around the issue.

Workarounds

Use the Result: The most straightforward workaround is to ensure that the result of the Labeled block is actually used. In the example above, simply removing the val _ = instance line or using instance would prevent the crash.
Avoid Explicit return: If possible, try to avoid explicit return statements within inline methods that return inline class instances. Implicit returns or alternative control flow structures might circumvent the issue.
Disable Optimizer (Temporarily): As a last resort, you can temporarily disable the Scala.js optimizer. This will allow your code to compile, but it will likely result in less performant JavaScript code. You can disable the optimizer by setting the scalaJSLinkerConfig in your build.sbt:
```
scalaJSLinkerConfig ~= { _.withOptimizer(false) }
```
Remember to re-enable the optimizer once the issue is resolved.

Real-World Scenario: Scala 3 Standard Library

This bug was initially discovered during the compilation of the Scala 3 standard library. The Scala 3 compiler backend doesn't optimize Labeled blocks from pattern matches as chains of If nodes, leading to different IR for certain constructs. In particular, the following code snippet triggered the crash:

object Test {
  val ct = classTag(ClassTag.apply(classOf[String])) // after implicit resolution
}

Here, ct is assigned the result of classTag, but it's never read. classTag is an inlineable identity function, which, combined with the other factors, led to the optimizer crash.

The Broader Context and Future Fixes

This bug highlights the complexities of optimizing code in a multi-stage compiler like Scala.js. The interaction between inlining, labeled blocks, dead code elimination, and the optimizer's internal data structures can lead to unexpected issues.

The Scala.js team is aware of this bug and is working on a proper fix. In the meantime, the workarounds mentioned above should help you avoid the crash in your projects.

Reporting Issues

If you encounter this or any other issue with Scala.js, it's highly encouraged to report it to the Scala.js issue tracker. Providing detailed information, including a minimal reproducible example, helps the team diagnose and fix the problem more efficiently.

Conclusion

The Scala.js optimizer crash involving Labeled blocks, Return nodes, and inline classes is a tricky issue, but understanding the conditions that trigger it can help you avoid it. By being mindful of how you use these language features and employing the workarounds discussed, you can keep your Scala.js projects running smoothly. Remember, the Scala.js team is continuously working to improve the stability and performance of the compiler, so stay tuned for future updates and fixes.

So, guys, next time you're wrestling with a Scala.js build and see that cryptic error message, remember this article! You've got the knowledge to tackle it. Keep coding, keep experimenting, and keep pushing the boundaries of what's possible with Scala.js. You're awesome!