This snippet of code fails to compile due to a bounds check failure in trans. In my version, it's at line 998. It's the some(id) alt case in get_tydesc.

fn test00_start(ch: chan_t[int], message: int) {
    send(ch, message);
}

chan_t is defined as follows, where task_id and port_id are both typedefed to be ints.

type chan_t[~T] = {
    task : task_id,
    port : port_id
};

send has the following signature:

fn send[~T](ch : chan_t[T], data : -T)