about summary refs log tree commit diff
path: root/src/test
diff options
context:
space:
mode:
authorTim Chevalier <chevalier@alum.wellesley.edu>2012-01-31 11:52:46 -0800
committerTim Chevalier <chevalier@alum.wellesley.edu>2012-01-31 11:52:46 -0800
commit45c1dfe5b318dac6641dee439d6498209cae455a (patch)
treef746e04a589c6596937aad2aa4a9986667660c25 /src/test
parentfba35e1a3c87892823d1f4d436b9f00a7864cf16 (diff)
Don't compute pre- and postconditions for item_consts
Since item_consts can't refer to or modify local variables, they
don't participate in typestate and thus get empty pre and
postconditions by default.

Closes #1660
Diffstat (limited to 'src/test')
-rw-r--r--src/test/run-pass/issue-1660.rs3
1 files changed, 3 insertions, 0 deletions
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;
+}