rust/src/test/compile-fail/while-loop-constraints.rs

// error-pattern:unsatisfied precondition constraint (for example, init(y
fn main() {

    let y: int = 42;
    let x: int;
    loop {
        log(debug, y);
        loop {
            loop {
                loop { x <- y; }
            }
        }
    }
}
rustc: Lower case error messages 2012-03-05 16:27:27 -08:00			`// error-pattern:unsatisfied precondition constraint (for example, init(y`
Tests for while loops that may invalidate constraints Wrote some small test cases that use while loops and moves, to make sure the poststate for the loop body gets propagated into the new prestate and deinitialization gets reflected. Along with that, rewrite the code for intersecting states. I still find it dodgy, but I guess I'll continue trying to add more tests. Also, I'll probably feel better about it once I start formalizing the algorithm. 2011-06-27 18:12:37 -07:00			`fn main() {`

Reformat for new syntax 2011-07-27 14:19:39 +02:00			`let y: int = 42;`
			`let x: int;`
Add an infinite loop construct Add a loop {} construct for infinite loops, and use it in test cases. See #1906 for details. 2012-03-09 16:11:56 -08:00			`loop {`
Register new snapshots, purge log_err and log_full in favour of log(...). 2011-12-22 17:53:53 -08:00			`log(debug, y);`
Add an infinite loop construct Add a loop {} construct for infinite loops, and use it in test cases. See #1906 for details. 2012-03-09 16:11:56 -08:00			`loop {`
			`loop {`
			`loop { x <- y; }`
Register snapshots and switch logging over to use of log_full or #error / #debug. 2011-12-22 14:42:52 -08:00			`}`
			`}`
			`}`
Reformat This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] 2011-08-19 15:16:48 -07:00			`}`