Struct CheckTask 

pub(super) struct CheckTask {
    spawned_at: &'static Location<'static>,
    runtime: Runtime<'static>,
    id: u64,
    state: Mutex<CheckTaskState<'static>>,
}

Safety notes

This Check type is actually valid for some (existential) 'db. We erase this from the type system and simply use 'static in the field types.

As a result, we cannot safely access state unless we can be sure that 'db is still in scope.

To do that, we keep a handle to check and then compare using Arc::ptr_eq to another check instance which we have threaded through as an ordinary parameter (whose type must therefore be valid).

If we are able to supply a check that has the same underlying Arc, and its type is valid, then we know that self.check has that same type, and that therefore the lifetimes in self.state are valid.

Fields

spawned_at: &'static Location<'static>

runtime: Runtime<'static>

Erased type: Check<'db>

id: u64

Unique identifier for this task, used for debugging.

state: Mutex<CheckTaskState<'static>>

Erased type: CheckTaskState<'chk>

Implementations

impl CheckTask

pub(super) fn new<'db>( spawned_at: &'static Location<'static>, runtime: &Runtime<'db>, future: impl Future<Output = ()> + 'db, ) -> Arc<Self>

fn replace_state( &self, new_state: CheckTaskState<'static>, ) -> CheckTaskState<'static>

fn take_state<'db>(&self, from_check: &Runtime<'db>) -> CheckTaskState<'db>

fn set_to_wait_state<'db>( &self, from_check: &Runtime<'db>, future: LocalBoxFuture<'db, ()>, )

fn waker(self: Arc<Self>) -> Waker

fn wake(self: Arc<Self>)

pub(super) fn execute(self: Arc<Self>, from_check: &Runtime<'_>)