Repository navigation

Rollup of 4 pull requests - #125643

Closed

matthiaskrgr wants to merge 22 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-2e6g38n

Closed

Rollup of 4 pull requests#125643
matthiaskrgr wants to merge 22 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-2e6g38n

Commits on May 25, 2024
- Stabilise ip_bits feature
  clarfonthey
  committed
  0d42cf7
Commits on May 27, 2024
- EvalCtxt::tcx() -> EvalCtxt::interner()
  compiler-errors
  committed
  d5d7477
- Make ProofTreeBuilder actually generic over interner
  compiler-errors
  committed
  56e87df
- non_local_defs: move out from `#[derive(LintDiagnostic)]` to manual impl
  Urgau
  committed
  5ad4ad7
- non_local_defs: switch to more friendly primary message
  Urgau
  committed
  06c6a2d
- non_local_defs: improve some notes around trait, bounds, consts
  Urgau
  committed
  de1c122
- non_local_defs: use span of the impl def and not the impl block
  Urgau
  committed
  26b873d
- non_local_defs: use labels to indicate what may need to be moved
  Urgau
  committed
  22095fb
- non_local_defs: improve exception note for impl and macro_rules!
  Urgau
  committed
  402580b
- non_local_defs: be more precise about what needs to be moved
  Urgau
  committed
  d3dfe14
- non_local_defs: improve main without a trait note
  Urgau
  committed
  ab23fd8
- non_local_defs: suggest removing leading ref/ptr to make the impl local
  Urgau
  committed
  b719529
- non_local_defs: point to Self and Trait to give more context
  Urgau
  committed
  98273ec
- non_local_defs: point the parent item when appropriate
  Urgau
  committed
  c7d3004
Commits on May 28, 2024
- add debug_assert to alias-relate
  lcnr
  committed
  87599dd
- change selection test to run-pass
  lcnr
  committed
  4d5a9bc
- refactor analyse visitor to instantiate states in order
  lcnr
  committed
  13ce229
- eagerly normalize when adding goals
  lcnr
  committed
  98bfd54
- Rollup merge of #125089 - Urgau:non_local_def-suggestions, r=estebank
  matthiaskrgr
  authored
  3f4e64c
- Rollup merge of #125343 - lcnr:eagerly-normalize-added-goals, r=compiler-errors
  matthiaskrgr
  authored
  22d7367
- Rollup merge of #125551 - clarfonthey:ip-bits, r=jhpratt
  matthiaskrgr
  authored
  d6a9b74
- Rollup merge of #125598 - compiler-errors:proof-tree-builder, r=lcnr
  matthiaskrgr
  authored
  9783780

Commits

Commits on May 25, 2024

Commits on May 27, 2024

Commits on May 28, 2024