reintroduce a section on unwinding out of naked_asm!

Author: folkertdev

src/inline-assembly.md

@@ -1220,7 +1220,7 @@ r[asm.rules.reg-not-output]
     Code should not rely on this however since it depends on the results of register allocation.
 
 r[asm.rules.unwind]
-- Behavior is undefined if execution unwinds out of an asm block.
+- Behavior is undefined if execution unwinds out of an `asm!` block.
   - This also applies if the assembly code calls a function which then unwinds.
 
 r[asm.rules.mem-same-as-ffi]
@@ -1359,6 +1359,10 @@ r[asm.naked-rules.reg-not-output]
 - Any callee-saved registers must have the same value upon return as they had on entry, otherwise behavior is undefined.
   - Caller-saved registes may be used freely, even if they are not used for the return value.
 
+r[asm.rules.unwind]
+- Unwinding out of a `naked_asm!` block is allowed.
+  - For correct behavior, the appropriate assembler directives that emit unwinding metadata must be used.
+
 r[asm.naked-rules.noreturn]
 - Behavior is undefined if execution falls through to the end of the `naked_asm!` block.
     - the assembly code is expected to contain a return instruction or to diverge