Code

Rollup of 6 pull requests#119889

Code

Merged

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

GuillaumeGomez:rollup-ah3dhyaGuillaumeGomez/rust:rollup-ah3dhyaCopy head branch name to clipboard

Jan 12, 2024

Commits

Commits on Jan 11, 2024

• Remove special-casing around aliaskind in new solver

  compiler-errors

  committed
  68c2f11

  Copy full SHA for 68c2f11

• Avoid repetition in `flush_delayed` calls.

  Show description for 3330940
  nnethercote

  committed
  3330940

  Copy full SHA for 3330940

Commits on Jan 12, 2024

• Add more information to `visit_projection_elem`

  Show description for efab0dc
  celinval

  committed
  efab0dc

  Copy full SHA for efab0dc

• Good path bugs are just a flavor of delayed bug

  compiler-errors

  committed
  eb79bc0

  Copy full SHA for eb79bc0

• Give me a way to emit all the delayed bugs

  compiler-errors

  committed
  7df43d3

  Copy full SHA for 7df43d3

• Rename `--env` option flag to `--env-set`

  GuillaumeGomez

  committed
  462bcac

  Copy full SHA for 462bcac

• Revert "Auto merge of #118568 - DianQK:no-builtins-symbols, r=pnkfelix"

  Show description for 6d29eac
  dianqk

  committed
  6d29eac

  Copy full SHA for 6d29eac

• Revert "Auto merge of #113923 - DianQK:restore-no-builtins-lto, r=pnkfelix"

  Show description for aa874c5
  dianqk

  committed
  aa874c5

  Copy full SHA for aa874c5

• check rust lints when an unknown lint is detected

  chenyukang

  committed
  ca421fe

  Copy full SHA for ca421fe

• Rollup merge of #119817 - compiler-errors:normalize-opaques, r=lcnr

  Show description for 46c3c01
  GuillaumeGomez

  authored
  46c3c01

  Copy full SHA for 46c3c01

• Rollup merge of #119819 - chenyukang:yukang-fix-118183-lint, r=davidtwco

  Show description for 737452a
  GuillaumeGomez

  authored
  737452a

  Copy full SHA for 737452a

• Rollup merge of #119872 - compiler-errors:eagerly-emit-delayed-bugs, r=oli-obk,nnethercote

  Show description for 504794b
  GuillaumeGomez

  authored
  504794b

  Copy full SHA for 504794b

• Rollup merge of #119877 - celinval:smir-visit-projection, r=oli-obk

  Show description for 4d12817
  GuillaumeGomez

  authored
  4d12817

  Copy full SHA for 4d12817

• Rollup merge of #119884 - GuillaumeGomez:rename-env-opt, r=davidtwco

  Show description for c997b29
  GuillaumeGomez

  authored
  c997b29

  Copy full SHA for c997b29

• Rollup merge of #119885 - DianQK:revert-pr-113923, r=petrochenkov

  Show description for dafbe17
  GuillaumeGomez

  authored
  dafbe17

  Copy full SHA for dafbe17