JuliaLang/julia

"@inferred requires a call expression" for do notation

Open

#59,114 创建于 2025年7月28日

在 GitHub 查看
 (8 评论) (0 反应) (0 负责人)Julia (48,709 star) (5,773 fork)batch import
good first issue

描述

Lambda functions work fine, while the same do-block throws an error:

julia> using Test

julia> @inferred map(x->x, [1,2])
2-element Vector{Int64}:
 1
 2

julia> @inferred map([1,2]) do x
       x
       end
ERROR: LoadError: @inferred requires a call expression

贡献者指南

技术栈
无
领域
testing
议题类型
bug
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
half day
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
active
清晰度议题是否清楚说明期望改动、验收标准和下一步。
clear
前置要求
Familiarity with JuliaUnderstanding of macros
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
70
研究方向
Investigate the implementation of the `@inferred` macro in the Julia standard library (likely in `base/test.jl`). The macro currently expects a call expression but fails for do blocks because the syntax is different. Look at the AST of a do block versus a lambda call to understand the structure. The fix may involve unwrapping the do block to get the actual function call.