Specify and possibly reconsider the precise semantics of #[no_mangle]
ba6e9fd
Opened by bstrie at
This internals post describes how people are exploiting the underspecified aspects of #[no_mangle] to practical effect: https://internals.rust-lang.org/t/precise-semantics-of-no-mangle/4098 . We may want to specify what guarantees the attribute actually has, and possibly introduce new attributes to represent the fine-grained roles that #[no_mangle] is currently being used for.