Test case to make sure typestate checks the body of class constructors

1 files changed, 23 insertions, 0 deletions

diff --git a/src/test/compile-fail/ctor-uninit-var.rs b/src/test/compile-fail/ctor-uninit-var.rs
new file mode 100644
index 00000000000..b2af5e48f01
--- /dev/null
+++ b/src/test/compile-fail/ctor-uninit-var.rs
@@ -0,0 +1,23 @@
+// error-pattern:unsatisfied precondition
+class cat {
+  priv {
+    let mutable meows : uint;
+  }
+
+  let how_hungry : int;
+
+  fn eat() {
+    how_hungry -= 5;
+  }
+
+  new(in_x : uint, in_y : int) {
+    let foo;
+    meows = in_x + (in_y as uint);
+    how_hungry = foo;
+  }
+}
+
+fn main() {
+  let nyan : cat = cat(52u, 99);
+  nyan.eat();
+}