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

Author: catamorphism

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();
+}