Here's a little how Bun AOT currently works (and may still change a lot):

1. bun build --compile --aot
2. bun check type-checks but allows untyped code
3. Typed IR
4. Optimization passes
5. JavaScriptCore's B3 compiler runs
6. ARM64/x64 machine code

(continued)