Avoid double-`ObjOps::nonnull_ptr_to_inner` on options in some cases