On Sat, Nov 8, 2025 at 3:30 AM Miguel Ojeda <[email protected]> wrote: > > With `#[no_mangle]` may be more reliable and it also gives an actual > exported symbol.
Or `#[used]` to keep it mangled since we don't care. Cheers, Miguel
On Sat, Nov 8, 2025 at 3:30 AM Miguel Ojeda <[email protected]> wrote: > > With `#[no_mangle]` may be more reliable and it also gives an actual > exported symbol.
Or `#[used]` to keep it mangled since we don't care. Cheers, Miguel