2011-08-10 17:57:03 -05:00
|
|
|
// error-pattern:quux
|
2011-08-19 17:16:48 -05:00
|
|
|
fn test00_start(ch: chan_t<int>, message: int) { send(ch, message); }
|
2011-08-10 17:57:03 -05:00
|
|
|
|
|
|
|
type task_id = int;
|
|
|
|
type port_id = int;
|
|
|
|
|
2011-10-28 07:57:49 -05:00
|
|
|
type chan_t<uniq T> = {task: task_id, port: port_id};
|
2011-08-10 17:57:03 -05:00
|
|
|
|
2011-10-28 07:57:49 -05:00
|
|
|
fn send<uniq T>(ch: chan_t<T>, -data: T) { fail; }
|
2011-08-10 17:57:03 -05:00
|
|
|
|
|
|
|
fn main() { fail "quux"; }
|