Currently, I need to explicitly convert an optional type to its original type even though the variable can’t be optional in that branch.
(if (not (is-none? price)) (contract-call! token transfer receiver (expects! price invalid-price-err)) invalid-price-err )
Is it possible to deduce that in this case
price is a real type, not an optional one?