julia
866c61de - don't taint `:terminates` because of the loop in `afoldl` (#57353)

Commit

1 year ago

don't taint `:terminates` because of the loop in `afoldl` (#57353) The iteration count is always finite.

References

Author

nsajko

Parents