diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-09-23 16:24:59 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-09-23 16:24:59 +0200 |
| commit | bcb2d98fc0a3f4435d5b256b5e6b8926c6b34365 (patch) | |
| tree | 7653c9d4d8d1fac8a77a2fb874f217ca944a81e4 | |
| parent | b1ab990471b022613abdde712fa26c963c6bb659 (diff) | |
| parent | d5e4558f1807a99a10636efcc1ff6ec514b07d56 (diff) | |
Merge pull request #4704 from bugadani/docs
Executor: Fix safety requirement in `poll` docs
| -rw-r--r-- | embassy-executor/src/raw/mod.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/embassy-executor/src/raw/mod.rs b/embassy-executor/src/raw/mod.rs index 9f36c60bc..dbd70cbf4 100644 --- a/embassy-executor/src/raw/mod.rs +++ b/embassy-executor/src/raw/mod.rs | |||
| @@ -564,8 +564,6 @@ impl Executor { | |||
| 564 | /// | 564 | /// |
| 565 | /// # Safety | 565 | /// # Safety |
| 566 | /// | 566 | /// |
| 567 | /// You must call `initialize` before calling this method. | ||
| 568 | /// | ||
| 569 | /// You must NOT call `poll` reentrantly on the same executor. | 567 | /// You must NOT call `poll` reentrantly on the same executor. |
| 570 | /// | 568 | /// |
| 571 | /// In particular, note that `poll` may call the pender synchronously. Therefore, you | 569 | /// In particular, note that `poll` may call the pender synchronously. Therefore, you |