// Test case for interaction between ClassVal and getPackage()

// @skip-test

public class GetPackage {

    void callGetPackage() {

        @NonNull Package p1 = GetPackage.class.getPackage();
        @NonNull Package p2 = java.util.List.class.getPackage();
    }
}