Update docs/_pages/typecheck.md

Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
This commit is contained in:
vegorov-rbx 2021-11-30 08:40:49 -08:00 committed by GitHub
parent a496ce9039
commit c2f7f46fbc
Signed by: DevComp
GPG key ID: 4AEE18F83AFDEB23

View file

@ -323,7 +323,7 @@ type C<S...> = A<number, S...> -- with a generic type pack
type D = A<number, ()> -- with an empty type pack
```
Trailing type packs arguments can also be provided without parentheses as variadic type arguments:
Trailing type pack argument can also be provided without parentheses by specifying variadic type arguments:
```lua
type List<Head, Rest...> = (Head, Rest...) -> ()