diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-10-08 05:06:21 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2020-02-06 15:51:02 -0500 |
| commit | 65fc086dba3cd20e7e3d75c698c5816d82b7bbc7 (patch) | |
| tree | 5c7a9ed1cc953965c18c90d4498ab581c68d6cc5 /src/test/codegen/src-hash-algorithm/src-hash-algorithm-md5.rs | |
| parent | 82c143561f2d9115263e774b0caf75af462f6fcb (diff) | |
| download | rust-65fc086dba3cd20e7e3d75c698c5816d82b7bbc7.tar.gz rust-65fc086dba3cd20e7e3d75c698c5816d82b7bbc7.zip | |
add a `IsEmpty` for use in verified bounds
We currently have a kind of arbitrary check for `Verify` conditions which says that if the "test region" is `'empty`, then the check passes. This was added to fix #42467 -- it happens to be correct for the purposes that we use verify bounds for, but it doesn't feel generally correct. Replace with a more principled test.
Diffstat (limited to 'src/test/codegen/src-hash-algorithm/src-hash-algorithm-md5.rs')
0 files changed, 0 insertions, 0 deletions