about summary refs log tree commit diff
diff options
context:
space:
mode:
authorGraydon Hoare <graydon@mozilla.com>2012-01-31 12:51:53 -0800
committerGraydon Hoare <graydon@mozilla.com>2012-01-31 12:51:53 -0800
commitfb236b0bb6c274ac9d13f22d6a5f2013b26f48de (patch)
tree6c069761db827fbf9fda94a13fad943f088efd6e
parentf7d756fcac7eeadc9050295ca6b0f45d8a74da69 (diff)
parent45c1dfe5b318dac6641dee439d6498209cae455a (diff)
downloadrust-fb236b0bb6c274ac9d13f22d6a5f2013b26f48de.tar.gz
rust-fb236b0bb6c274ac9d13f22d6a5f2013b26f48de.zip
Merge branch 'master' of github.com:mozilla/rust
-rw-r--r--src/comp/middle/tstate/pre_post_conditions.rs17
-rw-r--r--src/test/run-pass/issue-1660.rs3
2 files changed, 4 insertions, 16 deletions
diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs
index 9977b20cddb..dcb117cb6a3 100644
--- a/src/comp/middle/tstate/pre_post_conditions.rs
+++ b/src/comp/middle/tstate/pre_post_conditions.rs
@@ -41,22 +41,7 @@ fn find_pre_post_method(ccx: crate_ctxt, m: @method) {
 fn find_pre_post_item(ccx: crate_ctxt, i: item) {
     alt i.node {
       item_const(_, e) {
-        // make a fake fcx
-        let v: @mutable [node_id] = @mutable [];
-        let fake_fcx =
-            {
-             // just bogus
-             enclosing:
-                 {constrs: new_def_hash::<constraint>(),
-                  num_constraints: 0u,
-                  cf: return_val,
-                  i_return: ninit(0, ""),
-                  i_diverge: ninit(0, ""),
-                  used_vars: v},
-             id: 0,
-             name: "",
-             ccx: ccx};
-        find_pre_post_expr(fake_fcx, e);
+          // do nothing -- item_consts don't refer to local vars
       }
       item_fn(_, _, body) {
         assert (ccx.fm.contains_key(i.id));
diff --git a/src/test/run-pass/issue-1660.rs b/src/test/run-pass/issue-1660.rs
new file mode 100644
index 00000000000..0f4958e6ae1
--- /dev/null
+++ b/src/test/run-pass/issue-1660.rs
@@ -0,0 +1,3 @@
+fn main() {
+    const _x: int = 1<<2;
+}