From d6b7c96c3eb29b9244ece0c046d3f372ff432d04 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 23 Jun 2010 21:03:09 -0700 Subject: Populate tree. --- src/test/compile-fail/while-bypass.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/test/compile-fail/while-bypass.rs (limited to 'src/test/compile-fail/while-bypass.rs') diff --git a/src/test/compile-fail/while-bypass.rs b/src/test/compile-fail/while-bypass.rs new file mode 100644 index 00000000..1de89e90 --- /dev/null +++ b/src/test/compile-fail/while-bypass.rs @@ -0,0 +1,13 @@ +// error-pattern: precondition constraint + +fn f() -> int { + let int x; + while(true) { + x = 10; + } + ret x; +} + +fn main() { + f(); +} -- cgit v1.2.3