src/tools/miri/tests/pass/shims/pipe.rs

//@ignore-target: windows

use std::io::{Read, Write, pipe};

fn main() {
    let (mut ping_rx, mut ping_tx) = pipe().unwrap();
    ping_tx.write_all(b"hello").unwrap();
    let mut buf: [u8; 5] = [0; 5];
    ping_rx.read_exact(&mut buf).unwrap();
    assert_eq!(&buf, "hello".as_bytes());
}