Implement the precise analysis pass for lint `disjoint_capture_drop_reorder`#81912

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

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