static-assertions-rs:确保在Rust中对常量,类型等进行正确的假设