diff options
| author | bors <bors@rust-lang.org> | 2024-05-02 00:36:38 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-05-02 00:36:38 +0000 |
| commit | f92d49b7fe059e05eea43d7fc530aa96b8028fed (patch) | |
| tree | 4ba4c181810fbe0afb5c463f17497d29e567d495 /library/std/src/sys/sync/mod.rs | |
| parent | cfb2410752d7f7108f1b140a65310ffc9f6eb6c6 (diff) | |
| parent | 9834c8307fd9fd5118f4f256258362bcaf0b46e7 (diff) | |
| download | rust-f92d49b7fe059e05eea43d7fc530aa96b8028fed.tar.gz rust-f92d49b7fe059e05eea43d7fc530aa96b8028fed.zip | |
Auto merge of #124529 - compiler-errors:select, r=lcnr
Rewrite select (in the new solver) to use a `ProofTreeVisitor` We can use a proof tree visitor rather than collecting and recomputing all the nested goals ourselves. Based on #124415
Diffstat (limited to 'library/std/src/sys/sync/mod.rs')
0 files changed, 0 insertions, 0 deletions