scope(exit) with expected library

[WebFreak001]

On Wednesday, 25 August 2021 at 14:22:26 UTC, Paul Backus wrote:
> On Wednesday, 25 August 2021 at 14:04:54 UTC, WebFreak001 wrote:
>> [...]
>
> Probably the only principled way to make this work would be to 
> define some kind of "concept"/structural interface that's 
> recognized by the compiler to mean "this is an error-handling 
> type", in the same way that the compiler recognizes 
> `empty`/`front`/`popFront` to mean "this is an iterable type".
>
> Even then, it would require some pretty invasive language 
> changes (and some pretty gnarly code in the compiler), but it's 
> at least *theoretically* possible.

do you think this would be worth a DIP that could get in? Or 
should usage in these packages grow first?