Distinguish "will throw" from "may throw"

[jtrakk]

f1(x) = error("hello")
f2(x) = f1(x)
@report_call mode=:sound f2(:a)

says "may throw" but in fact it will throw. If error is the only possible outcome, I should not try to run the code, especially if it will take a long time to execute. The report could distinguish this case when it is sure of the result.

[jakobnissen]

I think it already does this, and it's just a matter of phrasing in the message:

julia> f(x) = x ? error() : x
f (generic function with 1 method)

julia> g(x) = error()
g (generic function with 1 method)

julia> @report_call f(true)
No errors !

julia> @report_call g(true)
═════ 1 possible error found ═════
┌ @ REPL[9]:1 Main.error()
│┌ @ error.jl:40 error()
││ may throw: Base.throw(Base.ErrorException(Base.getfield(Main.Base::Module, :string::Symbol)::typeof(string)()::String)::ErrorException)
│└───────────────