rust/src/test/run-pass/coerce-reborrow-mut-vec-arg.rs

trait Reverser {
    fn reverse(&self);
}

fn bar(v: &mut [uint]) {
    vec::reverse(v);
    vec::reverse(v);
    vec::reverse(v);
}

pub fn main() {
    let mut the_vec = ~[1, 2, 3, 100];
    bar(the_vec);
    assert the_vec == ~[100, 3, 2, 1];
}
Rewrite the coercion code to be more readable, more sound, and to reborrow when needed. Regarding soundness: there was a subtle bug in how it was done before; see the compile-fail test for an example. Regarding reborrowing: reborrowing allows mut and const slices/borrowed-pointers to be used with pure fns that expect immutable data. r=brson 2013-01-22 19:20:08 -06:00			`trait Reverser {`
			`fn reverse(&self);`
			`}`

RIMOV, round 5 find ./ -type f -name "*.rs" -exec sed -i "s/\&\[mut /\&mut \[/g" {} \; 2013-01-29 20:30:22 -06:00			`fn bar(v: &mut [uint]) {`
Rewrite the coercion code to be more readable, more sound, and to reborrow when needed. Regarding soundness: there was a subtle bug in how it was done before; see the compile-fail test for an example. Regarding reborrowing: reborrowing allows mut and const slices/borrowed-pointers to be used with pure fns that expect immutable data. r=brson 2013-01-22 19:20:08 -06:00			`vec::reverse(v);`
			`vec::reverse(v);`
			`vec::reverse(v);`
			`}`

check-fast fallout from removing export, r=burningtree 2013-02-01 21:43:17 -06:00			`pub fn main() {`
Rewrite the coercion code to be more readable, more sound, and to reborrow when needed. Regarding soundness: there was a subtle bug in how it was done before; see the compile-fail test for an example. Regarding reborrowing: reborrowing allows mut and const slices/borrowed-pointers to be used with pure fns that expect immutable data. r=brson 2013-01-22 19:20:08 -06:00			`let mut the_vec = ~[1, 2, 3, 100];`
			`bar(the_vec);`
			`assert the_vec == ~[100, 3, 2, 1];`
			`}`