Repository navigation

Rollup of 8 pull requests - #113665

Closed

matthiaskrgr wants to merge 19 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-drutesk

Closed

Rollup of 8 pull requests#113665
matthiaskrgr wants to merge 19 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-drutesk

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
- 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
- self type param infer, avoid ICE
  lcnr
  committed
  cf78716
- Add Adt to SMIR
  spastorino
  committed
  c80a0f3
- Rollup merge of #112982 - lukas-code:bootstrap-alias-default-crates, r=albertlarsan68
  matthiaskrgr
  authored
  a0353c5
- Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU
  matthiaskrgr
  authored
  07eaa51
- Rollup merge of #113558 - cuviper:rs100, r=Mark-Simulacrum
  matthiaskrgr
  authored
  be976ab
- Rollup merge of #113570 - lcnr:inspect-format, r=BoxyUwU
  matthiaskrgr
  authored
  fa1ad0a
- Rollup merge of #113623 - GuillaumeGomez:add-jump-to-doc, r=notriddle
  matthiaskrgr
  authored
  3f10604
- Rollup merge of #113629 - spastorino:smir-types-3, r=oli-obk
  matthiaskrgr
  authored
  e085782
- Rollup merge of #113631 - lqd:fix-113597, r=petrochenkov
  matthiaskrgr
  authored
  7a314e2
- Rollup merge of #113651 - lcnr:parent-def-id, r=compiler-errors
  matthiaskrgr
  authored
  219d2ad

Commits

Commits on Jun 24, 2023

Commits on Jul 10, 2023

Commits on Jul 12, 2023

Commits on Jul 13, 2023