No I haven't seen that! On its own, I don't see much point in "contracts" annotation-style syntax - it looks like a complex solution to a problem I don't have.

No I haven't seen that! On its own, I don't see much point in "contracts" annotation-style syntax - it looks like a complex solution to a problem I don't have. Whats so wrong with assert!() that we need to invent syntax. MIRAI looks wild though. Thanks for sharing!