Accumulate eagerly throws, ignoring side effects [low priority]

[LilithHafner]

This code should print (1, 2) forever, and on Julia 1.0, it does. However, on 1.6 and 1.12 it throws.

accumulate([1,2,3]) do args...
    while true
        println(args)
    end
end

Just because we can infer that something does not return does not mean we may turn it into an error. Infinite loops are not UB in Julia.

Weakly related to #53438

[Seelengrab]

Infinite loops have been UB in julia, see #40009. There's currently a mix going on between what inference assumes and what LLVM assumes of the code julia generates.

[adienes]

this now infinitely loops as expected, presumably related to changes made around the merge of #40009 and #52999 ?