So the detailed spec is "whatever the compiler does". And the compiler allows cve-rs, so it does not violate the detailed spec.