mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-16 13:05:18 +03:00
c6a4d44977
remove unused field Followup to #104455. The field is no longer needed since ExtractIf (previously DrainFilter) doesn't keep draining in its drop impl.