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.

Das Lua-Beispiel des Issues ist der einzige bereitgestellte Einstiegspunkt; verwende es, um die aktuellen Typen von test und test1 zu reproduzieren. Als erledigt gilt, wenn ein Gleichheitscheck gegen "test_group_a" test so weit eingrenzt, dass TestTable indiziert werden kann und test1 als string abgeleitet wird, einschließlich der Abdeckung des gezeigten Falls.