The Iterator trait isn't getting implemented?

I think I've narrowed down the problem, or a possible solution to the problem, but I don't really understand how this works.

Linking here, with a PR of a specific example of my issue with its fix.