Implement the precise analysis pass for lint disjoint_capture_drop_reorder#81912

bors merged 4 commits into

rust-lang:masterrust-lang/rust:masterfrom

sexxi-goose:Migrations2_reviewsexxi-goose/rust:Migrations2_reviewCopy head branch name to clipboard