/* | |
* @test | |
* @summary Test that the DefaultQualifier in an astub works. | |
* @library . | |
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Astubs=defaults.astub pck/Defaults.java -AstubWarnIfNotFound -Werror | |
*/ | |
public class Main {} |