tree 3c3c4c51e201f780c6b7d66575f941cd73af8084
parent db9a97fbb027422b11cf6c8717ddecad5e4e6f8e
parent 02a11668a3604867a131a32e7bf24239c35f87f4
author bors <bors@rust-lang.org> 1723888777 +0000
committer bors <bors@rust-lang.org> 1723888777 +0000

Auto merge of #3815 - RalfJung:pipe, r=RalfJung

implement pipe and pipe2

Fixes https://github.com/rust-lang/miri/issues/3746