Not exactly. We use reaching definitions analysis ...

# language-proposals

[dmitry.petrov]

Not exactly. We use reaching definitions analysis (on bytecode) to keep track of how boxed values are used.
If those usages are "good", we eliminate boxing/unboxing and rewrite corresponding operations if required.