> D's contract mechanism [...] can provide very strong guarantees to the compiler... which the LLVM D compiler definitely uses. That's awesome. I didn't know L

> D's contract mechanism [...] can provide very strong guarantees to the compiler... which the LLVM D compiler definitely uses. That's awesome. I didn't know LDC uses contracts like that. It'd be nice to have similar functionality across all D compilers.