v0.8.0

JET v0.8.0

Diff since v0.7.15

Closed issues:

• Bug: "Invalid type argument" for valid type argument (#237)
• JET generates spurious errors when analyzing noninferrable callees (#351)
• UndefKeywordError for keyword arguments (#376)
• JETAnalyzer: false positive errors that can be analyzed to be safe by concrete evaluation (#444)
• False positive: may throw for a function that just want to throw (#477)
• False positive in total function (#482)
• Feature request: Display un-inferrible callchains (#484)
• false positives with Base.@kwdef (#487)
• Possible false positive with sort! (#522)
• main_uuid not defined (#531)

Merged pull requests:

• JETAnalyzer: remove unnecessary function_filter (#506) (@aviatesk)
• OptAnalyzer: make function_filter work on function object directly (#507) (@aviatesk)
• docs: describe more analysis options (#510) (@timholy)
• prefetch JuliaLang/julia#49801 for 1.9 (#514) (@aviatesk)
• minor followup on #510 (#517) (@aviatesk)
• JETAnalyzer: special case MethodErrorReport for [map]reduce_empty (#518) (@aviatesk)
• top-level: optimize virtualprocess a bit (#519) (@aviatesk)
• fix #522, allow concrete-eval for safe reflective methods (#523) (@aviatesk)
• ui: use stacktrace-like view for showing reports (#524) (@aviatesk)
• OptAnalyzer: make sure to get reports from non-"compileable" but "inlineable" frames (#526) (@aviatesk)
• remove more dead code (#527) (@aviatesk)
• JETAnalyzer: enable concrete eval for safe methods (#529) (@aviatesk)
• fix docs (#530) (@aviatesk)
• skip certain error reports in top-level definition analysis (#532) (@aviatesk)
• fix :sound mode analysis for unanalyzed calls (#533) (@aviatesk)
• report_file: force concretization of parameterized type aliases (#534) (@aviatesk)
• remove unnecessary parameterization of ToplevelConfig (#535) (@aviatesk)
• add changelog (#536) (@aviatesk)