Rollup of 5 pull requests#156961

Closed

JonathanBrouwer wants to merge 11 commits into

rust-lang:mainfrom

JonathanBrouwer:rollup-BATSNSV

Commits on May 20, 2026

fix E0371 description
42triangles
committed

Commits on May 24, 2026

Drop skip_move_check_fns query.
cjgillot
committed

Commits on May 25, 2026

move batch
zedddie
committed
bless batch
zedddie
committed

Commits on May 26, 2026