Filters in Rust: New Rules and Consequences