Perhaps it has come up before, but what do you think of adding ddoc comments for contracts? (in/out/invariant) Contracts are between the code and the user after all, so it makes sense to document these in certain cases. It might also enable some uber IDE for D in the future to display contracts if available on right clicking a symbol or whatever.