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.