From 2a1f0774d753f5df309bb4a46a4ce83269b92742 Mon Sep 17 00:00:00 2001 From: imaqtkatt <135721694+imaqtkatt@users.noreply.github.com> Date: Wed, 7 Aug 2024 12:47:54 -0300 Subject: [PATCH] Improve Result/unwrap docs Co-authored-by: Nicolas Abril --- docs/builtins.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/builtins.md b/docs/builtins.md index 01e534122..fc4733411 100644 --- a/docs/builtins.md +++ b/docs/builtins.md @@ -130,6 +130,8 @@ type Result: Returns the inner value of `Result/Ok` or `Result/Err`. +If the types `A` and `B` are different, should only be used in type unsafe programs or when only one variant is guaranteed to happen. + ```python def Result/unwrap(result: Result): A || B ```