Last I heard, Rust has no independent spec so the compiler is the spec.
So? I don't understand how that matters here.