Skip to content

Commit a380d77

Browse files
authored
Rename one more expected to result. (#232)
1 parent 1472627 commit a380d77

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

design/mvp/Subtyping.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ But roughly speaking:
1515
| `list` | covariant element subtyping |
1616
| `tuple` | `(tuple T ...) <: T` |
1717
| `option` | `T <: (option T)` |
18-
| `expected` | `T <: (expected T _)` |
18+
| `result` | `T <: (result T _)` |
1919
| `union` | `T <: (union ... T ...)` |
2020
| `own`, `borrow` | none (although resource subtyping may be introduced in the future which would imply handle subtyping) |
2121
| `func` | parameter names must match in order; contravariant parameter subtyping; superfluous parameters can be ignored in the subtype; `option` parameters can be ignored in the supertype; covariant result subtyping |

0 commit comments

Comments
 (0)