Inheriting from a generic class, which uses an annotated table definition causes fields to get lost
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 4/5
- Tempo estimado
- 3-5 dias
- Facilidade para iniciantes
- 48/100
Direção de pesquisa
Reproduza o problema no NeoVim usando o construtor de tabela GenericSuper e a herança Specific : GenericSuper mostrados no relatório. Compare os resultados do hover para a forma do construtor de tabela e a forma equivalente @field; considera-se concluído quando t.value é inferido como string no caso do construtor de tabela herdado.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
How are you using the lua-language-server?
NeoVim
Which OS are you using?
Windows
What is the issue affecting?
Annotations, Type Checking
Expected Behaviour
--- (field) Specific.value: string
hover(t.value)
Actual Behaviour
--- (field) Specific.value: unknown
hover(t.value)
Reproduction steps
---@class GenericSuper<T> : { value: T }
---@class Specific : GenericSuper<string>
---@type Specific
local t
hover(t.value)
Then hover on t.value
Additional Notes
Interestingly this seems to only affect inheriting from table constructor. When converting it into a field, it works as expected:
---@class GenericSuper<T>
---@field value T
---@class Specific : GenericSuper<string>
---@type Specific
local t
--- (field) Specific.value: string
hover(t.value)
Log File
No response
- Linguagem predominante
- Lua
- Estrelas
- 4.4k
- Forks
- 442
- Merge médio
- 8d 9h
- PRs com merge (30d)
- 1
Guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de LuaLS/lua-language-server
-
enhancement
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
LuaLS/lua-language-server#1776 ·
-
泛型for迭代器的类型推导漏掉了带__call的类 Aberta
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 65/100
LuaLS/lua-language-server#3463 · 5 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 55/100
LuaLS/lua-language-server#3461 ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 68/100
LuaLS/lua-language-server#3460 · 1 comentário · 1 reação ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 68/100
LuaLS/lua-language-server#3459 · 1 reação ·
Todas as issues de LuaLS/lua-language-server
Issues semelhantes
-
Nmap
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 85/100
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100
LandSandBoat/server#11579 ·
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 90/100