Code

Rollup of 8 pull requests#115929

Code

Merged

bors merged 24 commits intorust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-hhasy22matthiaskrgr/rust:rollup-hhasy22Copy head branch name to clipboard

Sep 18, 2023

Commits

Commits on Sep 5, 2023

• issue has since been fixed

  tshepang

  authored
  86d32ef

  Copy full SHA for 86d32ef

Commits on Sep 10, 2023

• Add myself to the mailmap

  tgross35

  committed
  7db123d

  Copy full SHA for 7db123d

Commits on Sep 13, 2023

• Make AIX known by bootstrap

  

  Kai Luo

  committed
  2962528

  Copy full SHA for 2962528

• Add comment to elaborate

  

  Kai Luo

  committed
  fc17e09

  Copy full SHA for fc17e09

• Adjust comment

  

  Kai Luo

  committed
  5049a71

  Copy full SHA for 5049a71

• Adjust comment

  

  Kai Luo

  committed
  122d1cc

  Copy full SHA for 122d1cc

Commits on Sep 14, 2023

• `GoalCandidate` to `Probe`

  lcnr

  committed
  be9d7e0

  Copy full SHA for be9d7e0

• order `added_goals_evaluation` and `nested_probes`

  lcnr

  committed
  a3f9530

  Copy full SHA for a3f9530

• inspect: explicitly store added goals

  lcnr

  committed
  1b141b6

  Copy full SHA for 1b141b6

• differentiate root and nested goals

  lcnr

  committed
  0cb800e

  Copy full SHA for 0cb800e

Commits on Sep 16, 2023

• Bump to supported Ubuntu

  Show description for 5b882ac
  Mark-Simulacrum

  committed
  5b882ac

  Copy full SHA for 5b882ac

• Move to older, mirrored redox install

  Mark-Simulacrum

  committed
  abd265e

  Copy full SHA for abd265e

Commits on Sep 17, 2023

• Do not clone MIR for const-prop lint.

  cjgillot

  committed
  5d18a0e

  Copy full SHA for 5d18a0e

• Add me as on vacation

  jackh726

  committed
  c70ee68

  Copy full SHA for c70ee68

• nop_lift macros: ensure that we are using the right interner

  RalfJung

  committed
  3b817b2

  Copy full SHA for 3b817b2

Commits on Sep 18, 2023

• address review comment

  Show description for a716c96
  tshepang

  authored
  a716c96

  Copy full SHA for a716c96

• Rollup merge of #115558 - tshepang:patch-4, r=Mark-Simulacrum

  Show description for 2e38432
  matthiaskrgr

  authored
  2e38432

  Copy full SHA for 2e38432

• Rollup merge of #115724 - tgross35:mailmap, r=Mark-Simulacrum

  Show description for 5a8e8e5
  matthiaskrgr

  authored
  5a8e8e5

  Copy full SHA for 5a8e8e5

• Rollup merge of #115811 - bzEq:make-aix-known, r=Mark-Simulacrum

  Show description for c843ac2
  matthiaskrgr

  authored
  c843ac2

  Copy full SHA for c843ac2

• Rollup merge of #115838 - lcnr:added-goals, r=compiler-errors

  Show description for 944c413
  matthiaskrgr

  authored
  944c413

  Copy full SHA for 944c413

• Rollup merge of #115902 - Mark-Simulacrum:bump-ci, r=albertlarsan68

  Show description for 4977018
  matthiaskrgr

  authored
  4977018

  Copy full SHA for 4977018

• Rollup merge of #115907 - RalfJung:interner-check, r=compiler-errors

  Show description for 0d29cdd
  matthiaskrgr

  authored
  0d29cdd

  Copy full SHA for 0d29cdd

• Rollup merge of #115908 - cjgillot:lint-noclone, r=oli-obk

  Show description for c101c5f
  matthiaskrgr

  authored
  c101c5f

  Copy full SHA for c101c5f

• Rollup merge of #115916 - jackh726:vacation, r=jackh726

  Show description for 5290cc9
  matthiaskrgr

  authored
  5290cc9

  Copy full SHA for 5290cc9