Why does an IEnumerator have to have at least one yield statement, even if it's unreachable?

Question

Why does this code:

public IEnumerator Test()
{
}

Gives you an error:

Error CS0161 \'Test.GetEnumerator()\': not all cod

Answer 1

From C# specification:

A block that contains one or more yield statements (§8.14) is called an iterator block. Iterator blocks are used to implement function members as iterators (§10.14).

So if you have one or more yield statements, no matter reachable or not, your method is iterator (under the hood that will generate iterator class). But if you don't have any yield statements your method is the ordinal method (not an iterator) which has a return value of IEnumerable type. As any other method which returns some value, you must either return value of required type or throw an exception from method body. Same rules are applied when you have method which returns string or int value.