Code

Rollup of 7 pull requests#113669

Code

Closed

matthiaskrgr wants to merge 16 commits intorust-lang:masterrust-lang/rust:masterfrom matthiaskrgr:rollup-nutmobcmatthiaskrgr/rust:rollup-nutmobcCopy head branch name to clipboard

+301-191

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

• DefIds are not only about CrateItem

  spastorino

  committed
  5cf570f

  Copy full SHA for 5cf570f

• 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

• Add Adt to SMIR

  spastorino

  committed
  c80a0f3

  Copy full SHA for c80a0f3

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

  Show description for 079bd41
  matthiaskrgr

  authored
  079bd41

  Copy full SHA for 079bd41

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

  Show description for 41d5925
  matthiaskrgr

  authored
  41d5925

  Copy full SHA for 41d5925

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

  Show description for 9845e49
  matthiaskrgr

  authored
  9845e49

  Copy full SHA for 9845e49

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

  Show description for 541482a
  matthiaskrgr

  authored
  541482a

  Copy full SHA for 541482a

• Rollup merge of rust-lang#113629 - spastorino:smir-types-3, r=oli-obk

  Show description for 92f20fe
  matthiaskrgr

  authored
  92f20fe

  Copy full SHA for 92f20fe

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

  Show description for a4dc1b5
  matthiaskrgr

  authored
  a4dc1b5

  Copy full SHA for a4dc1b5

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

  Show description for e4abdf6
  matthiaskrgr

  authored
  e4abdf6

  Copy full SHA for e4abdf6