Why is this @tullio example failing with a range error?

This works indeed. Are there any side effects of also adding the +0 in the lefthand side?