diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-31 11:52:46 -0800 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-31 11:52:46 -0800 |
| commit | 45c1dfe5b318dac6641dee439d6498209cae455a (patch) | |
| tree | f746e04a589c6596937aad2aa4a9986667660c25 /src/test | |
| parent | fba35e1a3c87892823d1f4d436b9f00a7864cf16 (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.rs | 3 |
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; +} |
