Constraining types in scopes

未关闭

#45 创建于 2025年4月18日 0 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

描述

In a given example we don't constrain type of var `x` to type `Num`

```amber
fun foo(x) {
if x == 0 {
return "zero"
}

return -1
}

let x = foo(10)

if x == 10 {
echo x // x is of type Text | Num
}
```

这个仓库没有索引到贡献指南

这个 Issue 还没有评估数据。