[bvrmn]

That's the reason language/compiler should directly support optionality.

You can't fool yourself and have to handle all cases: https://godbolt.org/z/4GqMdPej3

[uecker]

So it seems exactly the same to me?

[bvrmn]

Nice one. gcc/clang are smart enough to get .ok condition statically. I'm very curios how complex an expression could be.