rust/src/test/run-pass/constraint-prop-expr-move.rs

use std;
import str::*;
import uint::*;

fn main() unsafe {
    let a: uint = 1u;
    let b: uint = 4u;
    let c: uint = 17u;
    check (le(a, b));
    c <- a;
    log(debug, str::unsafe::slice_bytes_safe_range("kitties", c, b));
}
Tests for constraint propagation 2011-07-09 00:18:23 -05:00			`use std;`
Copy first batch of material from libstd to libcore. 2011-12-13 18:25:51 -06:00			`import str::*;`
			`import uint::*;`
Tests for constraint propagation 2011-07-09 00:18:23 -05:00
Propagating unsafe::slice 4 2012-02-01 05:53:09 -06:00			`fn main() unsafe {`
Reformat for new syntax 2011-07-27 07:19:39 -05:00			`let a: uint = 1u;`
			`let b: uint = 4u;`
			`let c: uint = 17u;`
			`check (le(a, b));`
			`c <- a;`
Rename (again) str::unsafe::slice -> str::unsafe::slice_bytes and str::unsafe::safe_slice -> str::unsafe::slice_bytes_safe_range 2012-02-01 06:20:21 -06:00			`log(debug, str::unsafe::slice_bytes_safe_range("kitties", c, b));`
Reformat This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] 2011-08-19 17:16:48 -05:00			`}`