diff options
| author | bors <bors@rust-lang.org> | 2023-07-17 14:49:17 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-17 14:49:17 +0000 |
| commit | bbabfdc4d3982f4385d257891c7ffe0d9aac3867 (patch) | |
| tree | 9660eddac08d5359612cbf5c43d86a718cecf425 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 0548274b4b746f708ac0fd7ed772e5413afeba3e (diff) | |
| parent | 75da07bf28e64aadbc6f452da4d0cb44e4223b5a (diff) | |
| download | rust-bbabfdc4d3982f4385d257891c7ffe0d9aac3867.tar.gz rust-bbabfdc4d3982f4385d257891c7ffe0d9aac3867.zip | |
Auto merge of #2984 - RalfJung:soundness, r=RalfJung
clarify that we do not prove soundness Cc https://github.com/rust-lang/miri/issues/2982
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions