But I've been looking at various kinds of static checking for common bug patterns, and am interested in things that could be built in to D. For example: for (int i = 0; i < 10; i++) { break; } would be flagged since there is no reason to put a break in the top level statements of a loop. Anyone have any thoughts on this and similar things?