So we're going to be adding more checks like this at Google, as well as doing some of these in-place checks, or validation checks, for Guice.  We will probably put the guice checks into https://code.google.com/p/error-prone/ but we're figuring that out.  I have an intern working on some of these.  We're trying to make sure we don't do any  checks that would result in code used by both Dagger and Guice apps to fail in one or the other, but for those that are unambiguously erroneous in any JSR-330 app, we hope to roll out more checks.