2db4259b35
Also, some other changes that came up along the way: - add a 'blk' region for the current block. - detect unused type/region variables.
18 lines
404 B
Rust
18 lines
404 B
Rust
// error-pattern:unsatisfied precondition constraint
|
|
fn send<T: send>(ch: _chan<T>, -data: T) {
|
|
log(debug, ch);
|
|
log(debug, data);
|
|
fail;
|
|
}
|
|
|
|
enum _chan<T> = int;
|
|
|
|
// Tests that "log(debug, message);" is flagged as using
|
|
// message after the send deinitializes it
|
|
fn test00_start(ch: _chan<int>, message: int, count: int) {
|
|
send(ch, message);
|
|
log(debug, message);
|
|
}
|
|
|
|
fn main() { fail; }
|