mirror of
https://github.com/luau-lang/rfcs.git
synced 2025-05-04 10:43:48 +01:00
Update index-type-operator.md
Nitpick on the title of the RFC
This commit is contained in:
parent
b764c59718
commit
0f30ae5e27
1 changed files with 2 additions and 2 deletions
|
@ -1,4 +1,4 @@
|
|||
# `index` type operators
|
||||
# `index` type operator
|
||||
|
||||
## Summary
|
||||
|
||||
|
@ -74,4 +74,4 @@ A drawback to this feature is the possible increase in cost of maintenance. In t
|
|||
|
||||
## Alternatives
|
||||
|
||||
An alternative to the proposed implementation is utilizing inexact table types and exact table types (to be implemented) to handle the edge in a simpler manner. If we know that the indexee is an inexact table type, the index type operator can return the `unknown` type. If we know that the indexee is an exact table type, we can return an error.
|
||||
An alternative to the proposed implementation is utilizing inexact table types and exact table types (to be implemented) to handle the edge in a simpler manner. If we know that the indexee is an inexact table type, the index type operator can return the `unknown` type. If we know that the indexee is an exact table type, we can return an error.
|
||||
|
|
Loading…
Add table
Reference in a new issue