mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3226 - saethlin:deadpool-test, r=RalfJung

Browse Source 
Add a regression test for rust#115145

Per https://github.com/rust-lang/rust/pull/118805#issuecomment-1855264860
This commit is contained in:
bors 2023-12-15 15:05:41 +00:00
commit fcb89b394a
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/tools/miri/tests/pass/async-fn.rs
View File

@ -58,6 +58,21 @@ async fn hello_world() {
read_exact(&mut reader, &mut marker).await.unwrap(); read_exact(&mut reader, &mut marker).await.unwrap();
} }
// This example comes from https://github.com/rust-lang/rust/issues/115145
async fn uninhabited_variant() {
async fn unreachable(_: Never) {}
let c = async {};
match None::<Never> {
None => {
c.await;
}
Some(r) => {
unreachable(r).await;
}
}
}
fn run_fut<T>(fut: impl Future<Output = T>) -> T { fn run_fut<T>(fut: impl Future<Output = T>) -> T {
use std::task::{Context, Poll, Waker}; use std::task::{Context, Poll, Waker};
@ -80,4 +95,5 @@ fn main() {
assert_eq!(run_fut(includes_never(false, 4)), 16); assert_eq!(run_fut(includes_never(false, 4)), 16);
assert_eq!(run_fut(partial_init(4)), 8); assert_eq!(run_fut(partial_init(4)), 8);
run_fut(hello_world()); run_fut(hello_world());
run_fut(uninhabited_variant());
} }