Rollup of 5 pull requests#98088

Closed

Dylan-DPC wants to merge 11 commits into

rust-lang:masterfrom

Dylan-DPC:rollup-kbierjq

Commits on Jun 8, 2022

BTree: tweak internal comments
ssomers
committed

Commits on Jun 10, 2022

lint: add diagnostic translation migration lints
davidtwco
committed

Commits on Jun 11, 2022

fix compat_fn option method on miri
beepster4096
committed

Commits on Jun 13, 2022