По словам Эрика Липперта, анонимные итераторы не были добавлены в язык, потому что его реализация была бы слишком сложной.

Это нормально для меня, и меня это не беспокоило, пока они не реализовали анонимные асинхронные методы. Компилятор должен сделать то же самое для асинхронных методов, что и для итераторов (преобразовать их в конечные автоматы), поэтому я очень озадачен, почему анонимные итераторы также не разрешены, когда анонимные асинхронные методы таковы.

Может кто-то пролить свет на это?