Code

Rollup of 9 pull requests#103623

Code

Merged

bors merged 21 commits intorust-lang:masterrust-lang/rust:masterfrom matthiaskrgr:rollup-318yc1tmatthiaskrgr/rust:rollup-318yc1tCopy head branch name to clipboardOct 27, 2022

+431-140

Commits

Commits on Oct 24, 2022

• Make param index generation a bit more robust

  oli-obk

  committed
  b6824ba

Commits on Oct 25, 2022

• Move a wf-check into the site where the value is instantiated

  oli-obk

  committed
  8286ea5

• Split diagnostic details out into a separate function and fluent files

  oli-obk

  committed
  1c26a27

• Try to say that memory outside the AM is always exposed

  Show description for 0c3ae7d
  

  saethlin

  and

  RalfJung

  committed
  0c3ae7d

Commits on Oct 26, 2022

• library: allow some unused things in Miri

  RalfJung

  committed
  20ab57e

• Update library/core/src/ptr/mod.rs

  Show description for bd94763
  

  saethlin

  and

  RalfJung

  authored
  bd94763

• Process registered region obligation in resolve_regions_with_wf_tys

  compiler-errors

  committed
  db3b01d

• rustdoc: remove redundant CSS selector .notable-traits .notable

  Show description for 3dd7009
  notriddle

  committed
  3dd7009

• remove unused parser fn

  compiler-errors

  committed
  d380d03

• rustdoc: add test case for positioning of notable trait tooltip

  notriddle

  committed
  a7a0b36

Commits on Oct 27, 2022

• Print the precondition we violated, and visible through output capture

  Show description for 458aaa5
  

  saethlin

  and

  RalfJung

  committed
  458aaa5

• add tests and slight formatting

  Rageking8

  committed
  2f2a97e

• Rollup merge of rust-lang#103035 - saethlin:assert_unsafe_precondition3, r=thomcc

  Show description for 2937621
  matthiaskrgr

  authored
  2937621

• Rollup merge of rust-lang#103106 - saethlin:from_exposed_docs, r=thomcc

  Show description for 0cd8714
  matthiaskrgr

  authored
  0cd8714

• Rollup merge of rust-lang#103475 - oli-obk:generic_param_indices, r=lcnr

  Show description for d7ad6ad
  matthiaskrgr

  authored
  d7ad6ad

• Rollup merge of rust-lang#103525 - oli-obk:const_impl_on_non_const_trait, r=lcnr

  Show description for 2bd49c3
  matthiaskrgr

  authored
  2bd49c3

• Rollup merge of rust-lang#103564 - RalfJung:miri-unused, r=thomcc

  Show description for 8a29784
  matthiaskrgr

  authored
  8a29784

• Rollup merge of rust-lang#103586 - compiler-errors:issue-103573, r=jackh726

  Show description for bf53e71
  matthiaskrgr

  authored
  bf53e71

• Rollup merge of rust-lang#103592 - notriddle:notriddle/notable-traits-notable, r=GuillaumeGomez

  Show description for 29698dc
  matthiaskrgr

  authored
  29698dc

• Rollup merge of rust-lang#103593 - compiler-errors:nit-remove-returns, r=fee1-dead

  Show description for 0f0c044
  matthiaskrgr

  authored
  0f0c044

• Rollup merge of rust-lang#103611 - Rageking8:fix-103574, r=lcnr

  Show description for 2252f7a
  matthiaskrgr

  authored
  2252f7a