Ferrocene: Rust toolchain to safety-critical environments
one thing I don't fully get-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:>  If there is a mismatch between what the FLS says and how the compiler behaves, the specification will be updated.So, rustc is not written to this specification, but rather this specification is written to match rustc.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?mostly I don't understand. I'm sure someone could explain this and it will make sense to me.