Repository navigation

Rollup of 6 pull requests - #113673

Merged

bors merged 15 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-zcume6k

Jul 13, 2023

Merged

Rollup of 6 pull requests#113673
bors merged 15 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-zcume6k

Commits on Jul 10, 2023
- avoid building proof trees in select
  lcnr
  committed
  4965caf
- Only use max_line_length = 100 for *.rs
  cuviper
  committed
  a219505
Commits on Jul 12, 2023
- Add jump to doc
  GuillaumeGomez
  committed
  3fd36bc
- Update jump to def tests
  GuillaumeGomez
  committed
  6d44879
- DefIds are not only about CrateItem
  spastorino
  committed
  5cf570f
- make MCP510 behavior explicitly opt-in
  lqd
  committed
  2b61a5e
Commits on Jul 13, 2023
- refactor proof tree formatting
  lcnr
  committed
  f446894
- typo
  lcnr
  committed
  1b4b2e0
- Add Adt to SMIR
  spastorino
  committed
  c80a0f3
- Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU
  matthiaskrgr
  authored
  dec104c
- Rollup merge of #113558 - cuviper:rs100, r=Mark-Simulacrum
  matthiaskrgr
  authored
  76f62a9
- Rollup merge of #113570 - lcnr:inspect-format, r=BoxyUwU
  matthiaskrgr
  authored
  b0eb3c7
- Rollup merge of #113623 - GuillaumeGomez:add-jump-to-doc, r=notriddle
  matthiaskrgr
  authored
  3614611
- Rollup merge of #113629 - spastorino:smir-types-3, r=oli-obk
  matthiaskrgr
  authored
  017112f
- Rollup merge of #113631 - lqd:fix-113597, r=petrochenkov
  matthiaskrgr
  authored
  fc1cb04