diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2024-03-20 22:51:29 +0100 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2024-08-10 12:08:46 +0200 |
| commit | e77612d3e4ff34d5096fbf7f8a1b9d3a4351770c (patch) | |
| tree | 3470b14311b32da34c7e603629af5d61579e39ba /src/tools/miri/tests | |
| parent | 8615a6b006c41e02bdc6a46f1061e1e6daaefb22 (diff) | |
| download | rust-e77612d3e4ff34d5096fbf7f8a1b9d3a4351770c.tar.gz rust-e77612d3e4ff34d5096fbf7f8a1b9d3a4351770c.zip | |
Fixes in various places
Diffstat (limited to 'src/tools/miri/tests')
| -rw-r--r-- | src/tools/miri/tests/pass/async-fn.rs | 1 | ||||
| -rw-r--r-- | src/tools/miri/tests/pass/enums.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/async-fn.rs b/src/tools/miri/tests/pass/async-fn.rs index 13400c88c71..67ec2e26b30 100644 --- a/src/tools/miri/tests/pass/async-fn.rs +++ b/src/tools/miri/tests/pass/async-fn.rs @@ -59,6 +59,7 @@ async fn hello_world() { } // This example comes from https://github.com/rust-lang/rust/issues/115145 +#[allow(unreachable_patterns)] async fn uninhabited_variant() { async fn unreachable(_: Never) {} diff --git a/src/tools/miri/tests/pass/enums.rs b/src/tools/miri/tests/pass/enums.rs index ac7aafc1bb2..1dafef025e9 100644 --- a/src/tools/miri/tests/pass/enums.rs +++ b/src/tools/miri/tests/pass/enums.rs @@ -43,6 +43,7 @@ fn discriminant_overflow() { } } +#[allow(unreachable_patterns)] fn more_discriminant_overflow() { pub enum Infallible {} |