update

1 files changed, 13 insertions, 8 deletions

diff --git a/script/vm/type.lua b/script/vm/type.lua
index ecca4382..8e8ca96b 100644
--- a/script/vm/type.lua
+++ b/script/vm/type.lua
@@ -95,6 +95,19 @@ function vm.isSubType(uri, child, parent, mark)
         return true
     end
 
+    if parentName == 'integer' and childName == 'number' then
+        if  child.type == 'number'
+        and child[1]
+        and not math.tointeger(child[1]) then
+            return false
+        end
+        if  child.type == 'global'
+        and child.cate == 'type' then
+            return false
+        end
+        return true
+    end
+
     -- TODO: check duck
     if parentName == 'table' and not guide.isBasicType(childName) then
         return true
@@ -237,14 +250,6 @@ function vm.canCastType(uri, defNode, refNode)
             return true
         end
     end
-    if vm.isSubType(uri, refNode, 'number') then
-        -- allow `local x = 0;x = 1.0`,
-        -- but not allow `local x ---@type integer;x = 1.0`
-        if  defInfer:hasType(uri, 'integer')
-        and not defNode:hasType 'integer' then
-            return true
-        end
-    end
     if vm.isSubType(uri, refNode, defNode) then
         return true
     end