> -----Original Message-----
> From: SG21 <sg21-bounces_at_[hidden]> On Behalf Of Jens Maurer via
> SG21
> Sent: 21 September 2021 22:02
> To: liaison_at_[hidden]; mcdougall.ryan_at_[hidden]
> Minimum Contract Support: either Ignore or Check_and_abort
>
> (Personally, I think contracts should be a first-level
> language feature that should not be hidden inside an
> attribute-looking syntax atrocity. At least in C++,
> the space where they are does allow for context-sensitive
> keywords without much hassle; cf. override and final.)

I absolutely agree. Furthermore, we have a plausible keyword available: throws.

                       Peter