From c0a44b74936ed66047881b5615b93b1f5cc17e12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?D=C3=A1niel=20Buga?= <bugadani@gmail.com>
Date: Sun, 8 Dec 2024 10:40:01 +0100
Subject: [PATCH] Add note

---
 esp-hal-embassy/src/timer_queue.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/esp-hal-embassy/src/timer_queue.rs b/esp-hal-embassy/src/timer_queue.rs
index 4429d0eba6b..7f6071e3ef0 100644
--- a/esp-hal-embassy/src/timer_queue.rs
+++ b/esp-hal-embassy/src/timer_queue.rs
@@ -73,6 +73,8 @@ impl embassy_time_queue_driver::TimerQueue for crate::time_driver::TimerQueueDri
 
         #[cfg(not(single_queue))]
         unsafe {
+            // FIXME: this is UB, use Exposed Provenance API (or something better) when
+            // available. Expose provenance in `InnerExecutor::init`, and use it here.
             let executor = &*(waker.executor().unwrap_unchecked()
                 as *const embassy_executor::raw::Executor)
                 .cast::<crate::executor::InnerExecutor>();