Auto merge of rust-lang#134052 - matthiaskrgr:rollup-puxwqrk, r=matthiaskrgr

Rollup of 7 pull requests

Successful merges:

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

r? `@ghost`
`@rustbot` modify labels: rollup

Author: bors

core/src/bool.rs

@@ -54,6 +54,7 @@ impl bool {
     /// // `then`.
     /// assert_eq!(a, 1);
     /// ```
+    #[doc(alias = "then_with")]
     #[stable(feature = "lazy_bool_to_option", since = "1.50.0")]
     #[cfg_attr(not(test), rustc_diagnostic_item = "bool_then")]
     #[inline]

std/src/env.rs

@@ -597,6 +597,13 @@ impl Error for JoinPathsError {
 
 /// Returns the path of the current user's home directory if known.
 ///
+/// This may return `None` if getting the directory fails or if the platform does not have user home directories.
+///
+/// For storing user data and configuration it is often preferable to use more specific directories.
+/// For example, [XDG Base Directories] on Unix or the `LOCALAPPDATA` and `APPDATA` environment variables on Windows.
+///
+/// [XDG Base Directories]: https://specifications.freedesktop.org/basedir-spec/latest/
+///
 /// # Unix
 ///
 /// - Returns the value of the 'HOME' environment variable if it is set