fitzgen opened Issue #2056:
Only matters for reference types. But if we know the call is borrowing a reference type that will outlive the call, we don't need to add it into the activations table because the borrow checker already ensures it will live long enough.
Currently only
Func::{wrap,get}
will pass by value (and therefore need the activations table) whileFunc::call
will pass borrows (and therefore we know the reference will outlive the call, and it doesn't need to go into the table).See also https://github.com/bytecodealliance/wasmtime-dotnet/issues/27#issuecomment-662002571
Last updated: Dec 23 2024 at 12:05 UTC