map_(get|put|update) ignore atom fields with static term() key
维护者通常 1 天内回复
评估
调研方向
The issue is in the type system's handling of map operations with term() keys. Look at the Module.Types.Descr module, likely in lib/elixir/lib/module/types/descr.ex, focusing on map_get, map_put, and map_update functions. The test case shows that term() keys are not being considered when the map has an atom field. Run the provided reproducer to see the incorrect output, then trace through the type inference logic to see where term() keys are being filtered out. The fix will involve updating the type handling to include term() when checking for possible matches.
由索引模型根据 Issue 内容生成。
描述
Existing issue
- I have searched existing issues and could not find a duplicate.
Elixir and Erlang/OTP versions
Erlang/OTP 28 [erts-16.4.0.1] [source] [64-bit] [smp:12:12] [ds:12:12:10] [async-threads:1] [jit]
Interactive Elixir (1.21.0-dev)
Operating system
any
Current behavior
Map.fetch(%{a: 1}, k) with k :: term() can return {:ok, 1} yet this repro shows the implementation neglects this
import Module.Types.Descr
m = closed_map(a: {integer(), false})
IO.inspect(map_get(m, term()), label: "map_get term")
IO.inspect(map_get(m, atom()), label: "map_get atom")
{:ok, r} = map_put(m, term(), pid())
IO.puts(to_quoted_string(r))
IO.inspect(subtype?(closed_map(a: {pid(), false}), r), label: "subtype (must be true)")
{_, d, _} = map_update(m, term(), atom([:x]), false)
IO.puts(to_quoted_string(d))
Prints:
map_get term: :error
map_get atom: {:ok, %{bitmap: 8}}
%{
atom() => pid(),
bitstring() => pid(),
float() => pid(),
fun() => pid(),
integer() => pid(),
list() => pid(),
map() => pid(),
pid() => pid(),
port() => pid(),
reference() => pid(),
tuple() => pid(),
a: integer()
}
subtype (must be true): false
%{a: integer()}
This issue affects only API. Real code produces dynamic(term()) keys
Expected behavior
Correct handling of term() keys
- 主要语言
- Elixir
- 星标
- 26.7k
- 派生
- 3.7k
- 平均合并
- 8 小时 8 分钟
- 30 天内合并 PR
- 61
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
elixir-lang/elixir 的其他 Issue
-
难度 4/5 3-5 天 新手友好度 55/100
elixir-lang/elixir#15909 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 64/100
elixir-lang/elixir#15900 ·
维护者通常 1 天内回复
-
Gradual map domain with `none` looses static part when computing lower bound可能已有人在做 @lukaszsamson 于 40 天前认领。 未关闭
难度 4/5 3-5 天 新手友好度 48/100
elixir-lang/elixir#15854 · 2 条评论 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 56/100
elixir-lang/elixir#15837 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 52/100
elixir-lang/elixir#15829 ·
维护者通常 1 天内回复
查看 elixir-lang/elixir 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 2 天内回复
-
ci-cd
难度 2/5 1-3 小时 新手友好度 72/100
carverauto/serviceradar#5648 ·
维护者通常 1 天内回复
-
enhancement
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复
-
Bug Elixir Waiting for: Product Owner
难度 2/5 1-3 小时 新手友好度 65/100
getsentry/sentry-elixir#1242 · 1 条评论 ·
维护者通常 2 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
open-telemetry/opentelemetry-erlang-contrib#846 ·
维护者通常 1 天内回复