Produces an inlined version of call via its inlined method.
- Value parameters:
- call
the original call to an inlineable method
- rhsToInline
the body of the inlineable method that replaces the call.
- Companion:
- object
Type members
Classlikes
A typer for inlined bodies. Beyond standard typing, an inline typer performs the following functions:
A typer for inlined bodies. Beyond standard typing, an inline typer performs the following functions:
- Implement constant folding over inlined code
- Selectively expand ifs with constant conditions
- Inline arguments that are by-name closures
- Make sure inlined code is type-correct.
- Make sure that the tree's typing is idempotent (so that future -Ycheck passes succeed)