//@ compile-flags: -Zon-broken-pipe
//@ check-fail

fn main() {}