Loops in Python over NumPy arrays can be optimized automatically this way. But Numba’s optimizations are only automatic up to a point, and may not manifest significant performance improvements ...

Perhaps not. Consider [Tushar Sadhwani] who wanted to create a classic C-style for loop inside of Python. He did it, and the journey is perhaps more interesting than the result.