diff options
| author | Ralf Jung <post@ralfj.de> | 2025-01-02 10:36:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-02 10:36:31 +0000 |
| commit | 61188794411aa180723cc14eaecaf54df8959f27 (patch) | |
| tree | 65bf92e49e97c55295678cf9f3357ec2cc827f12 /compiler/rustc_pattern_analysis/src/errors.rs | |
| parent | 9a94769d0299221634c5e69885340781652ab14d (diff) | |
| parent | 0b6ccecddf46092fe1526e74bd47ddace931b901 (diff) | |
| download | rust-61188794411aa180723cc14eaecaf54df8959f27.tar.gz rust-61188794411aa180723cc14eaecaf54df8959f27.zip | |
Merge pull request #4106 from shamb0/generalize-callback-miri-concurrency
Concurrency: Generalize UnblockCallback to MachineCallback
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/errors.rs')
0 files changed, 0 insertions, 0 deletions