I don't know who said it, and this is probably a paraphrase: "If it can't happen, it will". If a function says the result is optional, then it's optional. It

I don't know who said it, and this is probably a paraphrase: "If it can't happen, it will". If a function says the result is optional, then it's optional. It's not not optional because you decided it can't ever fail.