v0.6.0

JET v0.6.0

Diff since v0.5.16

Closed issues:

• Using JET with GraphQL CodeGen! - Disable Checking with Comment? (#148)
• error reported on documentation string for function (#225)
• World-age problem (#289)
• inconsistent report of "runtime dispatch detected: Base.InexactError" (#308)
• report_package yields MethodError: no method matching namemap(::Type{JSON3.Error}) (#310)
• getindex reports "no errors" in sound mode (#311)
• for 1 of 2 union split cases, non-boolean (Missing) used in boolean context (#333)
• OptAnalyzer should not report duplicated error from inlined callees (#335)
• Adding an ::IO argument to report_opt? (#350)
• Add ability to ignore errors from some modules (#354)
• Missing report from splat call (#363)
• :sound mode: report uncovered method match (#366)
• Detected issues when assigning a matrix to a submatrix, rooted in Base abstractarray.jl (#374)

Merged pull requests:

• Quick typo fix in src/JET.jl (#353) (@Whojo)
• sort out InferenceErrorReport interface (#355) (@aviatesk)
• simplify InferenceErrorReport interface (#357) (@aviatesk)
• make signature printing lazy (#358) (@aviatesk)
• optimize get_sig (#360) (@aviatesk)
• UI-related improvements (#361) (@aviatesk)
• fix #311 (#362) (@aviatesk)
• fix #363 (#364) (@aviatesk)
• 1.8: update top-level analysis (#365) (@aviatesk)
• JETAnalyzer: report uncovered match in sound mode (#367) (@aviatesk)
• JETAnalyzer: report unanalyzed method call (#368) (@aviatesk)
• fix JETInterface test (#369) (@aviatesk)
• JETAnalyzer: report invalid global assignment (#370) (@aviatesk)
• OptAnalyzer: enable concrete evaluation (#371) (@aviatesk)
• adds ignored_modules configuration (#372) (@aviatesk)
• OptAnalyzer: don't report duplicated problems from inlined callees (#373) (@aviatesk)