/*
 * @test
 * @summary Test the defaulting mechanism for binary files.
 *
 * @compile -XDrawDiagnostics -Xlint:unchecked BinaryDefaultTestBinary.java
 * @compile -XDrawDiagnostics -Xlint:unchecked -processor lubglb.LubGlbChecker BinaryDefaultTest.java -AuseDefaultsForUncheckedCode=-source,bytecode
 */

import lubglb.quals.B;
import lubglb.quals.F;

class BinaryDefaultTest {
    void test1(@B BinaryDefaultTestInterface bar) {
        @F BinaryDefaultTestBinary foo = BinaryDefaultTestBinary.foo(bar);
    }
}