Add checked default for inference annotated type factory

[d367wang]

Related to opprop/checker-framework-inference#341

This is a workaround for the following corner case:

class Demo {

    void foo() {
        new Comparator() {
            public int compare(Object o1, Object o2) {
                return 1;
            }
        };
    }
}

Here a raw type interface is used to create anonymous class. The type argument of Comparator is substituted to wildcard.
Currently defaults are applied to the wildcard upper/lower bound.

We need to specify the default for TypeUseLocation.OTHERWISE or TypeUseLocation.ALL, so that the wildcard type argument won't miss annotations.