Write an RFC, is my opinion
I realized that my wording was not clear - I only intend to upstream support for 16-bit pointers (the build system modifications, however useful, are only half-baked right now).
The patch I hope to get merge consists solely of copy-pasting constants:
pub const DTOR_NEEDED_U16: u16 = repeat_u8_as_u16!(DTOR_NEEDED); // added this
pub const DTOR_NEEDED_U32: u32 = repeat_u8_as_u32!(DTOR_NEEDED);
and match arms to handle 16-bit pointers
match target_pointer_width {
"16" => TyInt(TyI16), // added this
"32" => TyInt(TyI32),
...
}
The Rust RFC README states that things adding solely "better platform coverage" and "additions only likely to be noticed by other developers-of-rust, invisible to users-of-rust" do not require an RFC.
That said, I am happy to write an RFC if it would be preferred ![]()
This post is mostly wondering whether the compiler team thinks that adding support for something that is not even going to be used in-tree is going to be worth the (admittedly small) maintence burden.