function f()
    try
        return 5
    finally
    end
end

Base.Test.@inferred f()

ERROR: return type Int64 does not match inferred return type Union{Nothing, Int64}