Repository navigation

Rollup of 5 pull requests - #134380

Closed

matthiaskrgr wants to merge 19 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-a47jc6z

Closed

Rollup of 5 pull requests#134380
matthiaskrgr wants to merge 19 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-a47jc6z

Commits on Dec 12, 2024
- Move `doc(keyword = "while")`.
  nnethercote
  committed
  4638a58
- Remove `rustc::existing_doc_keyword` lint.
  nnethercote
  committed
  353aff4
Commits on Dec 13, 2024
- Fix rustdoc GUI test
  GuillaumeGomez
  committed
  bdbaeae
Commits on Dec 15, 2024
- clean up `emit_access_facts`
  lqd
  committed
  2fd4438
- clean up `emit_drop_facts`
  lqd
  committed
  9d8f58a
- clean up `translate_outlives_facts`
  lqd
  committed
  afbe101
- use let else more consistently in fact generation
  lqd
  committed
  5486857
- simplify `emit_access_facts` and fact generation
  lqd
  committed
  1740a5f
- simplify `emit_outlives_facts`
  lqd
  committed
  2024c5d
- refactor `type_check` module slightly
  lqd
  committed
  7ad1f5b
- improve consistency within fact gen
  lqd
  committed
  8562497
Commits on Dec 16, 2024