Rust does not have an ISO standard, but it does have a language design, and if you knew the first thing about cve-rs (including what’s on its own Github page), you would know that this is an extremely confirmed soundness bug.
The cve-rs repo is not meant to be the toxic gotcha aimed at Rust language maintainers you seem to think it is. It’s a repro case.
So the detailed spec is "whatever the compiler does". And the compiler allows cve-rs, so it does not violate the detailed spec.
No, and you are clearly trolling, and I’ll engage in no further interaction with you.