diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-19 19:07:29 -0800 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-01-19 22:53:22 -0800 |
| commit | d242edb57b5ffb83bf0536471d0cc174f1a5c28b (patch) | |
| tree | 50cbc8205857eea3f666855821182b6991b0b273 /src/rt/rust_kernel.cpp | |
| parent | b9d517296aaf8660ef279c83a82d5b0ce0d5b535 (diff) | |
| download | rust-d242edb57b5ffb83bf0536471d0cc174f1a5c28b.tar.gz rust-d242edb57b5ffb83bf0536471d0cc174f1a5c28b.zip | |
Handle predicates that recurse in a check() expression
typestate was using the enclosing function ID for the "this function returns" constraint, which meant confusion and panic in the case where a predicate p includes "check p()". Fixed it to use a fresh ID. Closes #933
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions