diff options
| author | bors <bors@rust-lang.org> | 2024-08-17 09:59:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-17 09:59:37 +0000 |
| commit | a4222b97ca9d23f7076efb32dd99959e0f82a806 (patch) | |
| tree | 3c3c4c51e201f780c6b7d66575f941cd73af8084 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | db9a97fbb027422b11cf6c8717ddecad5e4e6f8e (diff) | |
| parent | 02a11668a3604867a131a32e7bf24239c35f87f4 (diff) | |
| download | rust-a4222b97ca9d23f7076efb32dd99959e0f82a806.tar.gz rust-a4222b97ca9d23f7076efb32dd99959e0f82a806.zip | |
Auto merge of #3815 - RalfJung:pipe, r=RalfJung
implement pipe and pipe2 Fixes https://github.com/rust-lang/miri/issues/3746
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions