luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Minor fixes

Browse source
This commit is contained in:
ajeffrey@roblox.com 2023-03-15 18:12:13 -05:00
parent 15553ca3ff
commit 309c77bebd
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rfcs/shared-self-types.md
View file

@ -225,7 +225,7 @@ Self types are used in two ways: in calls to `setmetatable`, and in metamethod d
In calls to `setmetatable(t, mt)`:
* if `mt` has self type parameters `As`, self type definition `T` and self type `S`,
* and `T` has (final) type `T [ Ts/As ]`
* and `t` has (final) type `T [ Ts/As ]`
* then `setmetatable(t, mt)` has type `S [ Ts/As ]`.
As currently, this has a side-effect of updating the type state of `t` from
@ -256,7 +256,7 @@ long-lived type of `t` rather than its current type state.
In method declarations `function mt:m`:
* if `mt` has self type parameters `As` and self type `S`,
* then give the `self` parameter to `MT.m` the type `S [ Xs/As ]` for fresh free Xs (these types are quantified as all other free types are).
* then give the `self` parameter of `mt:m` the type `S [ Xs/As ]` for fresh free Xs (these types are quantified as all other free types are).
For example, in the method `Set:add(el)`: