DotClass.java

import checkers.nullness.quals.*;
import java.lang.annotation.*;

@checkers.quals.DefaultQualifier("checkers.nullness.quals.NonNull")
class DotClass {

    void test() {
        doStuff(NonNull.class);
    }

    void doStuff(Class<? extends Annotation> cl) {

    }

}