chore: better safety comment

This commit is contained in:
Oleksandr Babak 2025-01-27 11:09:14 +01:00 committed by Henrik Tjäder
parent 2e703476a0
commit a2dfb62ffc

View file

@ -192,7 +192,7 @@ pub fn codegen(ctxt: Context, app: &App, analysis: &Analysis) -> TokenStream2 {
#[allow(non_snake_case)] #[allow(non_snake_case)]
#[doc(hidden)] #[doc(hidden)]
pub fn #internal_waker_ident() -> ::core::task::Waker { pub fn #internal_waker_ident() -> ::core::task::Waker {
// SAFETY: If `try_allocate` succeeds one must call `spawn`, which we do. // SAFETY: #exec_name is a valid pointer to an executor.
unsafe { unsafe {
let exec = rtic::export::executor::AsyncTaskExecutor::#from_ptr_n_args(#name, &#exec_name); let exec = rtic::export::executor::AsyncTaskExecutor::#from_ptr_n_args(#name, &#exec_name);
exec.waker(|| { exec.waker(|| {