Is Cthulhu wrong? Or is it the compiler?

I think Cthulhu messed up here. On line 176, the compiler clearly concluded csuml was ComplexF64, otherwise the result couldn’t have been of the same type.

Then, csuml can become Any by traversing one path inside the loop starting on line 183. So any of its uses inside the loop should be typed Any. But NOT before the loop.

Edit: reported as issue now.