Luau 0.550无递归代码触发递归类型错误求助

在Luau 0.550版本中，以下代码会触发错误：TypeError: Recursive type being used with different parameters，但代码本身并无递归逻辑。删除setmetatable()调用可解决该问题，但业务场景中必须保留此调用，现寻求解决方案。

触发错误的代码 #

--!strict
local __: Observable<any> -- 此行报递归类型错误，但实际无递归！

-- 调用任意函数都会触发误报，删除setmetatable调用可解决
local _ = setmetatable({}, {})

export type Observable<K> = any

• 方案1：调整类型声明顺序
  将export type Observable<K> = any提前到变量声明之前，让Luau在解析变量类型时先识别到完整的类型定义：

--!strict
export type Observable<K> = any

local __: Observable<any>

local _ = setmetatable({}, {})

• 方案2：使用类型断言绕过检查
  如果无法调整代码顺序，可通过类型断言强制指定变量类型，避免类型检查器误判：

--!strict
local __ = nil :: Observable<any>

local _ = setmetatable({}, {})

export type Observable<K> = any

• 方案3：临时禁用局部区域的严格类型检查
  在报错代码块前添加--!nonstrict，处理完后再恢复严格模式（仅建议作为临时 workaround）：

--!strict
--!nonstrict
local __: Observable<any>
--!strict

local _ = setmetatable({}, {})

export type Observable<K> = any

内容的提问来源于stack exchange，提问作者Matt Hargett