Code

Rollup of 9 pull requests#109431

Code

Closed

matthiaskrgr wants to merge 30 commits intorust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-gemd1ylmatthiaskrgr/rust:rollup-gemd1ylCopy head branch name to clipboard

Commits

Commits on Jan 4, 2023

• Link to Option/Result for `Iterator::sum/product`

  clubby789

  committed
  01d6c04

  Copy full SHA for 01d6c04

Commits on Mar 16, 2023

• replace usage of `evaluate_goal` with a new `add_goal`

  BoxyUwU

  committed
  ed63201

  Copy full SHA for ed63201

Commits on Mar 17, 2023

• review nits

  BoxyUwU

  committed
  ee31e5f

  Copy full SHA for ee31e5f

• add assert

  BoxyUwU

  committed
  ea08d3a

  Copy full SHA for ea08d3a

• add comments

  Show description for ce14a1e
  

  BoxyUwU

  and

  lcnr

  committed
  ce14a1e

  Copy full SHA for ce14a1e

• UNACEPTABLE

  BoxyUwU

  committed
  e06c62c

  Copy full SHA for e06c62c

• fix let else unformatting

  BoxyUwU

  committed
  aa8de17

  Copy full SHA for aa8de17

• replace chain with two `add_goal`

  BoxyUwU

  committed
  e624ef4

  Copy full SHA for e624ef4

• fix bad assertion

  BoxyUwU

  committed
  9df35a5

  Copy full SHA for 9df35a5

• move `compute_goal` and `evaluate_x` methods to inner module

  BoxyUwU

  committed
  b85bc19

  Copy full SHA for b85bc19

Commits on Mar 19, 2023

• add myself to mailmap

  aDotInTheVoid

  committed
  69a82f7

  Copy full SHA for 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

  Copy full SHA for 9f80c75

• drive-by: Fix a comment in TyCtxt::fold_regions and remove an unused method

  compiler-errors

  committed
  239ec6c

  Copy full SHA for 239ec6c

• fix typo

  lcnr

  committed
  5b4fa5b

  Copy full SHA for 5b4fa5b

• Support aggregate expressions

  cbeuw

  committed
  8e4e55e

  Copy full SHA for 8e4e55e

• Fix off-by-one in mir syntax doc

  cbeuw

  committed
  e24f5ac

  Copy full SHA for e24f5ac

• Use builtin_index instead of match

  Show description for f404f33
  

  cbeuw

  and

  oli-obk

  committed
  f404f33

  Copy full SHA for f404f33

• Add example for `Option::product` and `Result::product`

  clubby789

  committed
  f321144

  Copy full SHA for f321144

• Avoid ICE of attempt to add with overflow in emitter

  chenyukang

  committed
  cbb8066

  Copy full SHA for cbb8066

• not *all* retags might be explicit in Runtime MIR

  RalfJung

  committed
  5058cc8

  Copy full SHA for 5058cc8

• Enforce non-lifetime-binders in supertrait preds are not object safe

  compiler-errors

  committed
  720cc40

  Copy full SHA for 720cc40

Commits on Mar 21, 2023

• Rollup merge of #106434 - clubby789:document-sum-result, r=the8472

  Show description for 76534b5
  matthiaskrgr

  authored
  76534b5

  Copy full SHA for 76534b5

• Rollup merge of #108842 - compiler-errors:non_lifetime_binders-object-safe, r=b-naber

  Show description for 5f3afc7
  matthiaskrgr

  authored
  5f3afc7

  Copy full SHA for 5f3afc7

• Rollup merge of #108896 - BoxyUwU:new_solver_add_goal_fn, r=lcnr

  Show description for 20d3000
  matthiaskrgr

  authored
  20d3000

  Copy full SHA for 20d3000

• Rollup merge of #109240 - compiler-errors:dont-binder-twice, r=oli-obk

  Show description for 7c4ea5e
  matthiaskrgr

  authored
  7c4ea5e

  Copy full SHA for 7c4ea5e

• Rollup merge of #109385 - lcnr:typo, r=Dylan-DPC

  Show description for 5cbee82
  matthiaskrgr

  authored
  5cbee82

  Copy full SHA for 5cbee82

• Rollup merge of #109386 - aDotInTheVoid:mailmap, r=WaffleLapkin

  Show description for 18d8690
  matthiaskrgr

  authored
  18d8690

  Copy full SHA for 18d8690

• Rollup merge of #109390 - cbeuw:aggregate-lit, r=oli-obk

  Show description for a9f7860
  matthiaskrgr

  authored
  a9f7860

  Copy full SHA for a9f7860

• Rollup merge of #109403 - chenyukang:yukang/fix-109396, r=estebank

  Show description for 0271c1c
  matthiaskrgr

  authored
  0271c1c

  Copy full SHA for 0271c1c

• Rollup merge of #109408 - RalfJung:retags, r=compiler-errors

  Show description for 7939ee6
  matthiaskrgr

  authored
  7939ee6

  Copy full SHA for 7939ee6