![]() # Objective - While working on scope recently, I ran into a missing invariant for the transmutes in scope. The references passed into Scope are active for the rest of the scope function, but rust doesn't know this so it allows using the owned `spawned` and `scope` after `f` returns. ## Solution - Update the safety comment - Shadow the owned values so they can't be used. |
||
---|---|---|
.. | ||
iter | ||
lib.rs | ||
single_threaded_task_pool.rs | ||
slice.rs | ||
task_pool.rs | ||
task.rs | ||
thread_executor.rs | ||
usages.rs |