Instead of looking for "syntactic sugar to get rid of unwrap()" I think the better option would be to prove that the Option isn't None. In my experience in othe

Instead of looking for "syntactic sugar to get rid of unwrap()" I think the better option would be to prove that the Option isn't None. In my experience in other functional languages with Options, if you can't prove it, you're usually making a mistake somewhere upstream in your code.