From f2c9c5904509fbf1a21f415a749e37e3674c7137 Mon Sep 17 00:00:00 2001 From: Junseo Yoo <59751754+joonyoo181@users.noreply.github.com> Date: Thu, 20 Jun 2024 11:20:08 -0700 Subject: [PATCH] Update docs/index-type-operator.md Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com> --- docs/index-type-operator.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/index-type-operator.md b/docs/index-type-operator.md index 269e9f1..5768b28 100644 --- a/docs/index-type-operator.md +++ b/docs/index-type-operator.md @@ -61,7 +61,7 @@ If the indexer is not a type, local key = "age" type age = index -- Error message: Second argument to index is not a valid index type; Unknown type 'key' ``` -Note: these errors will be part of the general type family reduction errors since `index` will be built into the type family system. +Note: these errors will be part of the general type function reduction errors since `index` will be built into the type function system. The indexee may be a union type. In this case, the type function will distribute the arguments to multiple type families: ```luau