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

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

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