Repository navigation

Rollup of 5 pull requests - #98091

Merged

bors merged 11 commits into

rust-lang:masterfrom

Dylan-DPC:rollup-ueb6b5x

Jun 14, 2022

Merged

Rollup of 5 pull requests#98091
bors merged 11 commits into
rust-lang:masterfrom
Dylan-DPC:rollup-ueb6b5x

Commits on Jun 8, 2022
- BTree: tweak internal comments
  ssomers
  committed
  6f92f5a
Commits on Jun 10, 2022
- lint: add diagnostic translation migration lints
  davidtwco
  committed
  5ba81fa
Commits on Jun 11, 2022
- fix compat_fn option method on miri
  beepster4096
  committed
  940e0b3
Commits on Jun 13, 2022
- rustdoc: remove link on slice brackets
  notriddle
  committed
  682889f
- add inline(always) to option
  beepster4096
  committed
  5470a38
Commits on Jun 14, 2022