Hacker News Reader

That usage means "was the optional value set?" That's the whole point of an optional type, and there is absolutely no reason to prevent it.

I've already explained why that argument makes no sense

Could you elaborate more on why having the compiler tell us that we forgot to change something wouldn't be a good thing?