diff options
| author | alwo <albrecht.woess@signum.plus> | 2023-03-22 15:36:11 +0100 |
|---|---|---|
| committer | alwo <albrecht.woess@signum.plus> | 2023-03-22 15:36:11 +0100 |
| commit | 5f4f8569268f3230db339f8de3bf4b560e9f426e (patch) | |
| tree | 29026129d4617fe3d9b51bee17ffd5b92555b4e1 /script | |
| parent | 98f9f15508f37ca73aa92e8f8943af8a4706df18 (diff) | |
| parent | 91ae26be49374dee87d09f0fe9160cb393e4fef7 (diff) | |
| download | lua-language-server-5f4f8569268f3230db339f8de3bf4b560e9f426e.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'script')
| -rw-r--r-- | script/vm/type.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/vm/type.lua b/script/vm/type.lua index 756926ba..8382eb86 100644 --- a/script/vm/type.lua +++ b/script/vm/type.lua @@ -466,6 +466,7 @@ function vm.isSubType(uri, child, parent, mark, errs) if ext.type == 'doc.extends.name' and (not isBasicType or guide.isBasicType(ext[1])) and vm.isSubType(uri, ext[1], parent, mark, errs) == true then + mark[childName] = nil return true end end |