2018-08-30 14:18:55 +02:00
|
|
|
//@ run-pass
|
2018-09-25 23:51:35 +02:00
|
|
|
#![allow(unused_must_use)]
|
2024-03-06 12:19:20 -08:00
|
|
|
//@ needs-threads
|
2015-03-22 13:13:15 -07:00
|
|
|
//@ pretty-expanded FIXME #23616
|
|
|
|
|
2014-12-23 11:53:35 -08:00
|
|
|
use std::sync::mpsc::{channel, Sender};
|
2015-03-30 11:00:05 -07:00
|
|
|
use std::thread;
|
2013-05-24 19:35:29 -07:00
|
|
|
|
2015-03-25 17:06:52 -07:00
|
|
|
fn start(tx: &Sender<isize>, i0: isize) {
|
2012-03-22 08:39:41 -07:00
|
|
|
let mut i = i0;
|
2012-01-04 21:14:53 -08:00
|
|
|
while i > 0 {
|
2015-01-01 23:53:35 -08:00
|
|
|
tx.send(0).unwrap();
|
2012-01-04 21:14:53 -08:00
|
|
|
i = i - 1;
|
|
|
|
}
|
2010-08-24 21:06:56 -07:00
|
|
|
}
|
|
|
|
|
2013-02-01 19:43:17 -08:00
|
|
|
pub fn main() {
|
2015-05-09 00:12:29 +09:00
|
|
|
// Spawn a thread that sends us back messages. The parent thread
|
2010-09-07 18:01:35 -07:00
|
|
|
// is likely to terminate before the child completes, so from
|
|
|
|
// the child's point of view the receiver may die. We should
|
|
|
|
// drop messages on the floor in this case, and not crash!
|
2014-03-09 14:58:32 -07:00
|
|
|
let (tx, rx) = channel();
|
2024-08-24 05:32:52 +02:00
|
|
|
let t = thread::spawn(move || start(&tx, 10));
|
2014-03-09 14:58:32 -07:00
|
|
|
rx.recv();
|
2015-04-13 15:15:32 -07:00
|
|
|
t.join();
|
2011-08-10 09:27:22 -07:00
|
|
|
}
|