Intent now compiles itself Back in February I wrote about Intent. That post was more about what it couldn't do. Contracts were only runtime-checked. No generics on user-defined types. I said it was closer to "Rust with mandatory asserts" than to formal verification. I meant it. It was a proof of concept and I said so. Both of those limitations are gone now. The compiler proves contracts statically…