If that's gonna be possible with the pitch, then it would totally solve my problem. But it's not mentioned anywhere in the proposal. The only examples I can find return the same type from the catch block or use the then keyword. But I'm gonna mention my use case in there, thank you for the pointer.