[1718627440]

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.

[steveklabnik]

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