From 863c1c1ebe3c4acf8cc216cff0e602ce9f98c4be Mon Sep 17 00:00:00 2001
From: Roman Volosatovs <rvolosatovs@riseup.net>
Date: Tue, 11 Mar 2025 18:07:10 +0100
Subject: [PATCH] feat(p3): allow trailer retrieval to fail

Signed-off-by: Roman Volosatovs <rvolosatovs@riseup.net>
---
 wit-0.3.0-draft/types.wit | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wit-0.3.0-draft/types.wit b/wit-0.3.0-draft/types.wit
index 31eb62a..3cbbe7b 100644
--- a/wit-0.3.0-draft/types.wit
+++ b/wit-0.3.0-draft/types.wit
@@ -273,10 +273,10 @@ interface types {
     /// The returned future resolves to success if body is closed.
     %stream: func() -> result<tuple<stream<u8>, future<result<_, error-code>>>>;
 
-    /// Takes ownership of `body`, and returns an unresolved optional `trailers`.
+    /// Takes ownership of `body`, and returns an unresolved optional `trailers` result.
     ///
     /// This function will trap if a `stream` child is still alive.
-    finish: static func(this: body) -> future<option<trailers>>;
+    finish: static func(this: body) -> future<result<option<trailers>, error-code>>;
   }
 
   /// Represents an HTTP Request.