src/test/compile-fail/fn-constraint.rs


1
2
3
4
5
6
7
8
9

// error-pattern:precondition constraint (for example, uint::le(a, b)
use std;
import str::*;

fn main() {
    let a: uint = 4u;
    let b: uint = 1u;
    log(error, safe_slice("kitties", a, b));
}