I don’t want to digress this thread for discussion on this particular feature, so I’d mention that the differences between ? and checked exceptions were already discussed in the pre-sip for checked exceptions thread. There’s no need to go into the details of the SIP, as the relevant discussion starts in this comment. There is also the thread on rust-like results, which I haven’t gotten to read yet but may contain some discussion on this topic as well.