[Checkers] @ImplicitFor meta-annotation

[Michael Ernst]

Matt-

This sounds great, and I like the shortening effect on the checker
implementations.

What is the more complex design that shortens the checkers even more?  (Is
it worth implementing, or not?)

I have one concern with the location of the meta-annotation on the
@interface declaration.  This means that in order to understand the type
factory, a programmer must read both the @interface declaration and also
the type factory implementation.  The information is not all in one place.

If the meta-annotation is able to completely eliminate the type factory,
then putting it on the @interface declaration makes sense.  But if a type
factory exists, then perhaps it should appear on the type factory instead.

Thoughts?

                    -Mike