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 ```