Rollup merge of #133789 - rossmacarthur:then-with-doc-alias, r=Mark-Simulacrum

Add doc alias 'then_with' for `then` method on `bool`

I think its logical to search for this name since `Ordering::then_with` exists as well.

Author: matthiaskrgr