// error-pattern:quux | |
use std::marker::PhantomData; | |
fn test00_start(ch: chan_t<isize>, message: isize) { | |
send(ch, message); | |
} | |
type task_id = isize; | |
type port_id = isize; | |
struct chan_t<T> { | |
task: task_id, | |
port: port_id, | |
marker: PhantomData<*mut T>, | |
} | |
fn send<T: Send>(_ch: chan_t<T>, _data: T) { | |
panic!(); | |
} | |
fn main() { | |
panic!("quux"); | |
} |