Code

Rollup of 5 pull requests#113330

Code

Merged

bors merged 14 commits intorust-lang:masterrust-lang/rust:masterfrom matthiaskrgr:rollup-zm3owinmatthiaskrgr/rust:rollup-zm3owinCopy head branch name to clipboardJul 5, 2023

+298-93

Commits

Commits on Jun 30, 2023

• assemble_candidates_after_normalizing_self_ty docs

  lcnr

  committed
  0176922

Commits on Jul 1, 2023

• Use scoped-tls for SMIR to map between TyCtxt and SMIR datastructures

  chenyukang

  committed
  361df86

Commits on Jul 3, 2023

• Update platform-support.md

  Show description for d8790b8
  jonathanpallant

  committed
  d8790b8

• add flag for disabling global cache and printing proof trees on error

  BoxyUwU

  committed
  040aa58

Commits on Jul 4, 2023

• reviews

  BoxyUwU

  committed
  2ad00f4

• change flag name

  BoxyUwU

  committed
  adefeb8

• move logic for flags into separate function

  BoxyUwU

  committed
  276d628

• implement ConstEvaluatable goals in new solver

  Show description for abcaf30
  lcnr

  committed
  abcaf30

• reviews

  BoxyUwU

  committed
  284b614

• Rollup merge of rust-lang#113192 - lcnr:add-comment, r=compiler-errors

  Show description for 6fb790a
  matthiaskrgr

  authored
  6fb790a

• Rollup merge of rust-lang#113251 - chenyukang:yukang-fix-112940-smir, r=oli-obk

  Show description for d3fae79
  matthiaskrgr

  authored
  d3fae79

• Rollup merge of rust-lang#113282 - jonathanpallant:update-arm-target-descriptions, r=JohnTitor

  Show description for d951692
  matthiaskrgr

  authored
  d951692

• Rollup merge of rust-lang#113296 - BoxyUwU:proof_trees_on_error, r=lcnr

  Show description for 494e67c
  matthiaskrgr

  authored
  494e67c

• Rollup merge of rust-lang#113324 - lcnr:const-evaluatable-goal, r=BoxyUwU

  Show description for 7996908
  matthiaskrgr

  authored
  7996908