Yeah of course I can put what I want in my toy compiler. My statement was about standard C. I think that's what Contracts really are and hope this will be included in C.

Oh sure, I wouldn’t call rustc a “toy compiler” but yeah, they’d be cool in C as well.