The iterator binds its associated type not by the first call


Hehe. This is the tried and true way. These days I use an IDE (CLion/Intellij) which lets you toggle embedded type annotations, although I often don’t use the feature for some reason… (perhaps it’s just that these days I don’t frequently feel stumped by an error message).

…(actually, I forget whether it even works when the program doesn’t compile :stuck_out_tongue:)


Embedded type annotations is one of my favorite features of IntelliJ. I use it ALL the time. And, yes, it works when you have a syntax error as long as it doesn’t interfere with type inference.