From 7f35d4640b4a7338fdd34fb1c3509c3c671fa0ec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9C=80=E8=90=8C=E5=B0=8F=E6=B1=90?= Date: Tue, 12 Jul 2022 16:40:49 +0800 Subject: contravariance is allowed at the class declaration --- script/core/diagnostics/assign-type-mismatch.lua | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'script') diff --git a/script/core/diagnostics/assign-type-mismatch.lua b/script/core/diagnostics/assign-type-mismatch.lua index 0cccc7ee..2d5c3f98 100644 --- a/script/core/diagnostics/assign-type-mismatch.lua +++ b/script/core/diagnostics/assign-type-mismatch.lua @@ -99,12 +99,7 @@ return function (uri, callback) end -- local Cat = setmetatable({}, {__index = Animal}) 允许逆变 - if value.type == 'select' - and value.sindex == 1 - and value.vararg - and value.vararg.type == 'call' - and value.vararg.node.special == 'setmetatable' - and hasMarkClass(source) then + if hasMarkClass(source) then if vm.canCastType(uri, valueNode:copy():remove 'table', varNode) then return end -- cgit v1.2.3