Should respect #[export_name] #283
Description
Rust supports #[export_name = "..."] as an alternative to #[no_mangle] that allows to customise exported name of various items.
{{ message }}
Rust supports #[export_name = "..."] as an alternative to #[no_mangle] that allows to customise exported name of various items.