diff options
| author | bors <bors@rust-lang.org> | 2025-06-01 15:01:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-06-01 15:01:58 +0000 |
| commit | a88fc0eaae4551f840d35d88f77105b535cf7912 (patch) | |
| tree | 615de50e9ee173b2c9ba9363fdd7b0dd3cd3b89b /compiler/rustc_next_trait_solver/src/resolve.rs | |
| parent | 9b0268a43b0a5b58f50c96ded25364037c019a61 (diff) | |
| parent | 0884c683ad3fef0b8c02ed7fdf7aa3ee874a7e3d (diff) | |
| download | rust-a88fc0eaae4551f840d35d88f77105b535cf7912.tar.gz rust-a88fc0eaae4551f840d35d88f77105b535cf7912.zip | |
Auto merge of #141860 - RalfJung:miri-sync, r=RalfJung
Miri subtree update r? `@ghost` Includes https://github.com/rust-lang/miri/pull/4370 to unbreak PR CI. (So we're committing to having bda28aa38 in the Miri history by landing this, whether or not that Miri PR lands.) Cc `@Noratrieb` `@tiif`
Diffstat (limited to 'compiler/rustc_next_trait_solver/src/resolve.rs')
0 files changed, 0 insertions, 0 deletions