Skip to content

Commit 4c6cd88

Browse files
committed
Try to improve a comment.
1 parent 5a0ca3c commit 4c6cd88

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

src/thread.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -378,9 +378,8 @@ impl<'mir, 'tcx: 'mir> ThreadManager<'mir, 'tcx> {
378378

379379
/// Register the given `callback` to be called once the `call_time` passes.
380380
///
381-
/// We made two design decisions when implementing timeout callbacks:
382-
/// 1. The caller of the callback is responsible for changing the thread.
383-
/// 2. The scheduler is the only place that can change the active thread.
381+
/// The callback will be called with `thread` being the active thread, and
382+
/// the callback may not change the active thread.
384383
fn register_timeout_callback(
385384
&mut self,
386385
thread: ThreadId,

0 commit comments

Comments
 (0)