GuardSatisfiedArray.java

// @skip-test

// Test case for Issue #917:
// https://github.com/typetools/checker-framework/issues/917

import java.util.List;
import org.checkerframework.checker.lock.qual.GuardSatisfied;

public class GuardSatisfiedArray {

    void foo(@GuardSatisfied Object arg1, @GuardSatisfied Object arg2) {}

    void bar(@GuardSatisfied Object[] args) {
        foo(args[0], args[1]);
    }

    void baz(@GuardSatisfied List<@GuardSatisfied Object> args) {
        foo(args.get(0), args.get(1));
    }
}