Type Narrow Exact Strings

Another feature suggestion 😅

It would be useful to be able to type-narrow exact strings.

For example:

---@alias TestTable {test_group_a: {test_field_1: string, test_field_2: string}, test_group_b: {test_field_1: string, test_field_3: string}}

---@type "test_group_a" | "test_group_b"
local test

if test == "test_group_a" then
	---@type TestTable
	local test_table
	test1 = test_table[test].test_field_1
end

When we do if test == "test_group_a" then it would be nice if the type of test narrowed to test_group_a (which can then be used to successfully index test_table. As it is now there is no type narrowing so the inferred type of test1 is unknown when it should be string.

L'esempio Lua dell'issue è l'unico punto di ingresso fornito; usalo per riprodurre i tipi attuali di test e test1. Il lavoro è completato quando un controllo di uguaglianza con "test_group_a" restringe test a sufficienza da consentire l'indicizzazione di TestTable e inferire test1 come string, includendo la copertura del caso mostrato.