I've last written D in eclipse, however, the support for D was constrained to syntax highlighting and grammar correctness. Is there any IDE with semantic reasoning at least for non templated code?