about summary refs log tree commit diff
path: root/src/libstd
diff options
context:
space:
mode:
authorBen Blum <bblum@andrew.cmu.edu>2013-08-02 19:35:13 -0400
committerBen Blum <bblum@andrew.cmu.edu>2013-08-05 18:40:42 -0400
commit47e82c85555895c21206c84b62cac19eb351d1b8 (patch)
tree4f15c929907d0f7c639b68014a76ecfd80821704 /src/libstd
parent2d1eb1916e8f9124cbaa90a823fed8341697521c (diff)
downloadrust-47e82c85555895c21206c84b62cac19eb351d1b8.tar.gz
rust-47e82c85555895c21206c84b62cac19eb351d1b8.zip
(cleanup) Uncomment an assertion that now holds.
Diffstat (limited to 'src/libstd')
-rw-r--r--src/libstd/rt/kill.rs9
1 files changed, 4 insertions, 5 deletions
diff --git a/src/libstd/rt/kill.rs b/src/libstd/rt/kill.rs
index deec8dd37a6..ef2d0de5312 100644
--- a/src/libstd/rt/kill.rs
+++ b/src/libstd/rt/kill.rs
@@ -205,11 +205,10 @@ impl BlockedTask {
                 let flag_arc = match task.death.spare_kill_flag.take() {
                     Some(spare_flag) => spare_flag,
                     None => {
-                        // FIXME(#7544): Uncomment this when terminate_current_task
-                        // stops being *terrible*. That's the only place that violates
-                        // the assumption of "becoming unkillable will fail if the
-                        // task was killed".
-                        // rtassert!(task.unwinder.unwinding);
+                        // A task that kills us won't have a spare kill flag to
+                        // give back to us, so we restore it ourselves here. This
+                        // situation should only arise when we're already failing.
+                        rtassert!(task.unwinder.unwinding);
                         (*task.death.kill_handle.get_ref().get()).killed.clone()
                     }
                 };