Ferrocene: Rust toolchain to safety-critical environments
one thing I don't fully get-<p>this specification is written based on the current behavior of rustc. The page even says that the specification will be updated as rustc is updated:<p>>  If there is a mismatch between what the FLS says and how the compiler behaves, the specification will be updated.<p>So, rustc is not written to this specification, but rather this specification is written to match rustc.<p>So if I am writing my own compiler, using this specification, do I have to worry about the specification changing, if suddenly a regression is introduced to rustc, and the specification is updated to cover the regression?<p>mostly I don't understand. I'm sure someone could explain this and it will make sense to me.