Trampoline function call v2

[raviqqe]

Close #757.
Close #659.

[codecov-commenter]

Codecov Report

Merging #795 (a1fdf57) into main (9499beb) will decrease coverage by 0.08%.
The diff coverage is 53.48%.

❗ Current head a1fdf57 differs from pull request most recent head 2042676. Consider uploading reports for the commit 2042676 to get more accurate results

@@            Coverage Diff             @@
##             main     #795      +/-   ##
==========================================
- Coverage   85.29%   85.21%   -0.09%     
==========================================
  Files         316      315       -1     
  Lines       29238    29108     -130     
==========================================
- Hits        24939    24804     -135     
- Misses       4299     4304       +5     

Impacted Files	Coverage Δ
lib/ffi/src/cps/error.rs	12.50% <ø> (ø)
lib/ffi/src/cps/async_stack.rs	78.70% <47.36%> (-11.30%)	⬇️
lib/ffi-macro/src/function.rs	94.69% <100.00%> (+0.14%)	⬆️
lib/hir/src/types/type_.rs	87.83% <0.00%> (-0.48%)	⬇️
lib/hir-mir/src/lib.rs	88.14% <0.00%> (-0.05%)	⬇️
lib/ffi/src/box_any.rs	0.00% <0.00%> (ø)
.../hir-mir/src/validation/try_operation_validator.rs
...b/hir-mir/src/validation/record_field_validator.rs
...r-mir/src/validation/ffi_variant_type_validator.rs
...rc/validation/duplicate_function_name_validator.rs
... and 7 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9499beb...2042676. Read the comment docs.