Repository navigation

Rollup of 7 pull requests - #113667

Closed

matthiaskrgr wants to merge 16 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-3xfizlx

Closed

Rollup of 7 pull requests#113667
matthiaskrgr wants to merge 16 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-3xfizlx

Commits on Jun 24, 2023
- bootstrap: update defaults for `compiler` and `library` aliases
  Lukas Markeffsky
  committed
  d9f4fb3
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
- 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
- self type param infer, avoid ICE
  lcnr
  committed
  cf78716
- Rollup merge of #112982 - lukas-code:bootstrap-alias-default-crates, r=albertlarsan68
  matthiaskrgr
  authored
  6874e03
- Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU
  matthiaskrgr
  authored
  d516813
- Rollup merge of #113558 - cuviper:rs100, r=Mark-Simulacrum
  matthiaskrgr
  authored
  c27a726
- Rollup merge of #113570 - lcnr:inspect-format, r=BoxyUwU
  matthiaskrgr
  authored
  7f83361
- Rollup merge of #113623 - GuillaumeGomez:add-jump-to-doc, r=notriddle
  matthiaskrgr
  authored
  8ac714e
- Rollup merge of #113631 - lqd:fix-113597, r=petrochenkov
  matthiaskrgr
  authored
  329a748
- Rollup merge of #113651 - lcnr:parent-def-id, r=compiler-errors
  matthiaskrgr
  authored
  29fdc20