Rollup of 7 pull requests

[matthiaskrgr]

Successful merges:

• A bunch of cleanups #133567 (A bunch of cleanups)
• Add doc alias 'then_with' for then method on bool #133789 (Add doc alias 'then_with' for then method on bool)
• Expand home_dir docs #133880 (Expand home_dir docs)
• crash tests: use individual mir opts instead of mir-opt-level where easily possible #134036 (crash tests: use individual mir opts instead of mir-opt-level where easily possible)
• Fix some triagebot mentions paths #134045 (Fix some triagebot mentions paths)
• Remove ignored tests for hangs w/ new solver #134046 (Remove ignored tests for hangs w/ new solver)
• Miri subtree update #134050 (Miri subtree update)

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

[matthiaskrgr]

@bors r+ rollup=never p=7

[bors]

📌 Commit e01cb62 has been approved by matthiaskrgr

It is now in the queue for this repository.

[bors]

⌛ Testing commit e01cb62 with merge 1b3fb31...

[bors]

☀️ Test successful - checks-actions
Approved by: matthiaskrgr
Pushing 1b3fb31 to master...

[rust-timer]

📌 Perf builds for each rolled up PR:

PR#	Message	Perf Build Sha
#133567	A bunch of cleanups	8b4b61d9728d61a037e0505d36cc79d4b9f4bfc2 (link)
#133789	Add doc alias 'then_with' for then method on bool	f834a6a4279715ca82b81dc1576acaa11003dc74 (link)
#133880	Expand home_dir docs	21a1e7d6b126f606facde3c4ae905c3c5729014a (link)
#134036	crash tests: use individual mir opts instead of mir-opt-lev…	139afda6e490769b2449bea9d42f8d28790c9a3c (link)
#134045	Fix some triagebot mentions paths	2a052f16c79754e5716cf12836b77329cb59d1b1 (link)
#134046	Remove ignored tests for hangs w/ new solver	d25d6479b171957c3adfa756c69e3ab7119022bb (link)
#134050	Miri subtree update	6f63950c84de0aeb6a4a046107383ea02b9da5bf (link)

previous master: df5b8e39b7

In the case of a perf regression, run the following command for each PR you suspect might be the cause: @rust-timer build $SHA

[rust-timer]

Finished benchmarking commit (1b3fb31): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

This is the most reliable metric that we have; it was used to determine the overall result at the top of this comment. However, even this metric can sometimes exhibit noise.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	0.3%	[0.3%, 0.3%]	1
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

Results (primary -1.3%, secondary 1.5%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	3.6%	[1.7%, 5.7%]	6
Improvements ✅ (primary)	-1.3%	[-1.3%, -1.3%]	1
Improvements ✅ (secondary)	-4.8%	[-5.4%, -4.3%]	2
All ❌✅ (primary)	-1.3%	[-1.3%, -1.3%]	1

Cycles

Results (secondary 3.5%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	3.5%	[2.8%, 5.5%]	12
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 766.815s -> 769.074s (0.29%)
Artifact size: 330.84 MiB -> 330.87 MiB (0.01%)