Repository navigation

Rollup of 6 pull requests - #129092

Merged

bors merged 20 commits into

rust-lang:masterfrom

jieyouxu:rollup-z2522nm

Aug 14, 2024

Merged

Rollup of 6 pull requests#129092
bors merged 20 commits into
rust-lang:masterfrom
jieyouxu:rollup-z2522nm

Commits on Aug 12, 2024
- do not use the global solver cache for proof trees
  lcnr
  committed
  7b86c98
- expand fuzzing support
  lcnr
  committed
  51338ca
- simplify match + move `debug!` call
  lcnr
  committed
  e87157b
- tracing: debug to trace
  lcnr
  committed
  9308401
- move behavior out of shared fn
  lcnr
  committed
  e83eacd
- merge impl blocks
  lcnr
  committed
  0c75c08
- split provisional cache and stack lookup
  lcnr
  committed
  f860873
- Explicitly specify type parameter on FromResidual impls in stdlib.
  zachs18
  committed
  1b6df71
Commits on Aug 13, 2024
- implement a performant and fuzzed solver cache
  lcnr
  committed
  0aa17a4
- Test showing previous behavior
  compiler-errors
  committed
  850bcbd
- Use the right type when coercing fn items to pointers
  compiler-errors
  committed
  5df13af
- stabilize `asm_const`
  folkertdev
  committed
  8419c09
Commits on Aug 14, 2024