> Ah I see. Spec is out of date, compiler is right, there is nothing wrong with this code.

The whole point is that I think that's a grave mistake and stems more or less completely from Walter's irrational distaste for definite-assignment analysis. I also not alone in thinking this, there have been many threads about this in the last few years.