Code

Rollup of 7 pull requests#113667

Code

Closed

matthiaskrgr wants to merge 16 commits intorust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-3xfizlxmatthiaskrgr/rust:rollup-3xfizlxCopy head branch name to clipboard

Commits

Commits on Jun 24, 2023

• bootstrap: update defaults for `compiler` and `library` aliases

  

  Lukas Markeffsky

  committed
  d9f4fb3

  Copy full SHA for d9f4fb3

Commits on Jul 10, 2023

• avoid building proof trees in select

  lcnr

  committed
  4965caf

  Copy full SHA for 4965caf

• Only use max_line_length = 100 for *.rs

  Show description for a219505
  cuviper

  committed
  a219505

  Copy full SHA for a219505

Commits on Jul 12, 2023

• Add jump to doc

  GuillaumeGomez

  committed
  3fd36bc

  Copy full SHA for 3fd36bc

• Update jump to def tests

  GuillaumeGomez

  committed
  6d44879

  Copy full SHA for 6d44879

• make MCP510 behavior explicitly opt-in

  Show description for 2b61a5e
  lqd

  committed
  2b61a5e

  Copy full SHA for 2b61a5e

Commits on Jul 13, 2023

• refactor proof tree formatting

  lcnr

  committed
  f446894

  Copy full SHA for f446894

• typo

  lcnr

  committed
  1b4b2e0

  Copy full SHA for 1b4b2e0

• self type param infer, avoid ICE

  lcnr

  committed
  cf78716

  Copy full SHA for cf78716

• Rollup merge of #112982 - lukas-code:bootstrap-alias-default-crates, r=albertlarsan68

  Show description for 6874e03
  matthiaskrgr

  authored
  6874e03

  Copy full SHA for 6874e03

• Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU

  Show description for d516813
  matthiaskrgr

  authored
  d516813

  Copy full SHA for d516813

• Rollup merge of #113558 - cuviper:rs100, r=Mark-Simulacrum

  Show description for c27a726
  matthiaskrgr

  authored
  c27a726

  Copy full SHA for c27a726

• Rollup merge of #113570 - lcnr:inspect-format, r=BoxyUwU

  Show description for 7f83361
  matthiaskrgr

  authored
  7f83361

  Copy full SHA for 7f83361

• Rollup merge of #113623 - GuillaumeGomez:add-jump-to-doc, r=notriddle

  Show description for 8ac714e
  matthiaskrgr

  authored
  8ac714e

  Copy full SHA for 8ac714e

• Rollup merge of #113631 - lqd:fix-113597, r=petrochenkov

  Show description for 329a748
  matthiaskrgr

  authored
  329a748

  Copy full SHA for 329a748

• Rollup merge of #113651 - lcnr:parent-def-id, r=compiler-errors

  Show description for 29fdc20
  matthiaskrgr

  authored
  29fdc20

  Copy full SHA for 29fdc20