docs+api: finalize phase29ab P3 contract and update examples

2025-12-28 10:57:48 +09:00
parent 6ba9d995d2
commit 280a5a8187
3 changed files with 12 additions and 4 deletions
--- a/src/mir/builder/control_flow/joinir/patterns/pattern2/api/mod.rs
+++ b/src/mir/builder/control_flow/joinir/patterns/pattern2/api/mod.rs
@ -10,7 +10,7 @@
 //!
 //! match try_promote(builder, condition, body, inputs, debug, verbose)? {
 //!     PromoteDecision::Promoted(result) => { /* ... */ }
-//!     PromoteDecision::NotApplicable => { /* fallback to next path */ }
+//!     PromoteDecision::NotApplicable(result) => { /* continue without promotion */ }
 //!     PromoteDecision::Freeze(reason) => { /* fail-fast */ }
 //! }
 //! ```