Heads-up: #[start] is being removed

[RalfJung]

We are planning to remove the unstable #[start] attribute from the compiler, see rust-lang/rust#134299 for rationale and further details. This repo showed up in a search for users of the attribute in this file. For all we know, there's no good reason to use this attribute and you can do the following instead:

#![no_main]

#[no_mangle]
extern "C" fn main(argc: core::ffi::c_int, argv: *const *const u8) -> core::ffi::c_int {
  // ...
}

If that for some reason does not work, please let us know!

[RyanGlScott]

Thanks for the heads-up! Note that crux-mir's Rust code is a bit special in that it is a vendored copy of the Rust standard libraries, and it is only meant to build with one particular version of Rust (nightly-2023-01-23) at the moment. We plan on upgrading this Rust version at some point to one where the standard libraries do not use #[start].