LuaLS / LuaLS/lua-language-server

Enum created with `@alias` breaks when unioned with table

Aberta
#3,141 0 comentários 0 reações 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Linguagem predominante
Lua
Estrelas
4.4k
Forks
442
Métricas de merge de PRs
Nenhum PR com merge em 30d

Descrição

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Linux

What is the issue affecting?

Type Checking

Expected Behaviour

it should allow either the enum or a table

Actual Behaviour
Cannot assign `integer` to parameter ``BAR`|`FOO`|any[]`.
- `integer` cannot match ``BAR`|`FOO`|any[]`
- Type `integer` cannot match `any[]`
- Type `number` cannot match `any[]`
Reproduction steps
FOO = 1
BAR = 2

--- @alias WAT `FOO` | `BAR`
--- @param a WAT | any[]
local function aa(a) end

aa(FOO)
Additional Notes

Bonus: If you change the type to WAT | WAT[] the error message is

Cannot assign `integer` to parameter ``BAR`|`BAR`|`FOO`[]|`FOO``.
- `integer` cannot match ``BAR`|`BAR`|`FOO`[]|`FOO``
- Type `integer` cannot match ``BAR`|`FOO`[]`
- Type `number` cannot match ``BAR`|`FOO`[]`

which looks very visually confusing

Log File

No response

Guia de contribuição

Abrir o guia de contribuição

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Direção de pesquisa

Reproduza o código Lua relatado na extensão do Visual Studio Code e inspecione o caminho de verificação de tipos para aliases combinados com uniões e tabelas. Está concluído quando aa(FOO) é aceito para WAT | any[] e os diagnósticos de tipo resultantes não são mais confusos para o caso WAT | WAT[].

Escrita pelo modelo de indexação a partir do texto da issue.

Avaliação

Stack de tecnologia
lua
Domínio
devtools
Tipo de issue
Bug
Dificuldade
3/5
Tempo estimado
1-2 dias
Status de atividade
Estagnada
Clareza
Razoavelmente clara
Facilidade para iniciantes
52/100

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.