The following playground originally posted by @rustonaut still demonstrates a double drop in Vec::drain_filter. This is unsound.
https://play.rust-lang.org/?gist=be84e0e74bc2eb86d81a7ad90e612ace&version=nightly&mode=debug
Originating comment: #43244 (comment)
The following playground originally posted by @rustonaut still demonstrates a double drop in
Vec::drain_filter. This is unsound.https://play.rust-lang.org/?gist=be84e0e74bc2eb86d81a7ad90e612ace&version=nightly&mode=debug
Originating comment: #43244 (comment)