luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2024-12-13 05:20:38 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update typecheck.md

Browse source
This commit is contained in:
Arseny Kapoulkine 2020-11-02 12:06:08 -08:00 committed by GitHub
parent 9d4f338473
commit 43fed897c1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/typecheck.md
View file

@ -313,7 +313,9 @@ Roblox supports a rich set of classes and data types, [documented here](https://
When one type inherits from another type, the type checker models this relationship and allows to cast a subclass to the parent class implicitly, so you can pass a `Part` to a function that expects an `Instance`. When one type inherits from another type, the type checker models this relationship and allows to cast a subclass to the parent class implicitly, so you can pass a `Part` to a function that expects an `Instance`.
Additionally, we can automatically deduce what calls like `Instance.new` and `game:GetService` are supposed to return: All enums are also available to use by their name as part of the `Enum` type library, e.g. `local m: Enum.Material = part.Material`.
Finally, we can automatically deduce what calls like `Instance.new` and `game:GetService` are supposed to return:
```lua ```lua
local part = Instance.new("Part") local part = Instance.new("Part")