LuaLS / LuaLS/lua-language-server

Nested property type lost when accessed from reference

Ouverte
#1,613 8 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

as designed
Langage dominant
Lua
Étoiles
4.4k
Forks
442
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Type Checking

Expected Behaviour
	local A = {}

	---@class B
	---@overload fun(): B
	local B = {}

	---@class C
	---@overload fun(): C
	local C = {}

	A.property1 = B()

	A.property1.property2 = C()

	local refToB = A.property1

	local refToC = refToB.property2

while the local refToB is correctly of type B, it no longer is aware of property2.

image

expected behavior would be that it is aware of the properties assigned to the instance.

Actual Behaviour

presence of property is lost in the "instance" of object B (not definition).

Reproduction steps
  1. Go to '...'
  2. Click '...'
  3. See error '...'
Additional Notes

No response

Log File

No response

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez par l’exemple de vérification de types en Lua dans l’issue et reproduisez les informations de propriété manquantes au moyen des affectations à A.property1, refToB et refToC. Suivez le comportement pertinent de la vérification de types jusqu’à ce que refToB conserve property2 et que refToC soit résolu en tant que C ; aucun fichier du dépôt ni aucun test n’est nommé dans l’issue.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
lua
Domaine
devtools
Type d'issue
Bug
Difficulté
4/5
Temps estimé
3-5 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
35/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.