examples/fail/fail.rs

// Re-implementation of integer division (/)
fn division(dividend: int, divisor: int) -> int {
    if divisor == 0 {
        // Division by zero triggers a task failure
        fail!("division by zero");
    } else {
        dividend / divisor
    }
}

// The `main` task
fn main() {
    // Heap allocated integer
    let _x = box 0i;

    // This operation will trigger a task failure
    division(3, 0);

    println!("This point won't be reached!");

    // `_x` should get destroyed at this point
}