Rollup of 9 pull requests - #109431

Closed

matthiaskrgr wants to merge 30 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-gemd1yl

Commits on Jan 4, 2023

Link to Option/Result for `Iterator::sum/product`
clubby789
committed
01d6c04

Commits on Mar 16, 2023

replace usage of `evaluate_goal` with a new `add_goal`
BoxyUwU
committed
ed63201

Commits on Mar 17, 2023

review nits
BoxyUwU
committed
ee31e5f
add assert
BoxyUwU
committed
ea08d3a
add comments

BoxyUwU
and
lcnr
committed
ce14a1e
UNACEPTABLE
BoxyUwU
committed
e06c62c
fix let else unformatting
BoxyUwU
committed
aa8de17
replace chain with two `add_goal`
BoxyUwU
committed
e624ef4
fix bad assertion
BoxyUwU
committed
9df35a5
move `compute_goal` and `evaluate_x` methods to inner module
BoxyUwU
committed
b85bc19

Commits on Mar 19, 2023

add myself to mailmap
aDotInTheVoid
committed
69a82f7

Commits on Mar 20, 2023

Walk un-shifted nested `impl Trait` in trait when setting up default trait method assumptions
compiler-errors
committed
9f80c75
drive-by: Fix a comment in TyCtxt::fold_regions and remove an unused method
compiler-errors
committed
239ec6c
fix typo
lcnr
committed
5b4fa5b
Support aggregate expressions
cbeuw
committed
8e4e55e
Fix off-by-one in mir syntax doc
cbeuw
committed
e24f5ac
Use builtin_index instead of match

cbeuw
and
oli-obk
committed
f404f33
Add example for `Option::product` and `Result::product`
clubby789
committed
f321144
Avoid ICE of attempt to add with overflow in emitter
chenyukang
committed
cbb8066
not *all* retags might be explicit in Runtime MIR
RalfJung
committed
5058cc8
Enforce non-lifetime-binders in supertrait preds are not object safe
compiler-errors
committed
720cc40

Commits on Mar 21, 2023