mirror of
https://github.com/zulip/zulip.git
synced 2026-07-12 21:04:41 +08:00
0de1d03dd4
Concretely, we'll use this with a `UserId` type which is an "opaque type alias" of `number` -- it's secretly implemented as simply `number`, and it can be consumed by anything that wants a `number` (in other words, it's a subtype of `number`), but the fact that it secretly just is `number` is private to the module that defines the type. As far as the typing_status code is concerned, allowing this to be a subtype of `number` just means that the code doesn't ever try to inject new numbers of its own into the recipients arrays that it passes around. |
||
|---|---|---|
| .. | ||
| assets | ||
| audio | ||
| generated | ||
| html | ||
| images | ||
| js | ||
| shared | ||
| styles | ||
| templates | ||
| third | ||
| .gitignore | ||