// Test case that was submitted in Issue 2235, but is caused
// by a false negative from Issue 979
// https://github.com/typetools/checker-framework/issues/979

// Skip until correct error is issued.
// @skip-test

public class Issue2235 {
    // Simple wrapper class with a public generic method
    // to make an instance:
    static class Holder<T> {
        T t;

        private Holder(T t) {
            this.t = t;
        }

        public static <T> Holder<T> make(T t) {
            return new Holder<>(t);
        }
    }

    public static void main(String[] args) throws Exception {
        // Null is hidden via nested calls, but assigned to a non-null type:
        // :: error: (TODO)
        Holder<Holder<String>> h = Holder.make(Holder.make(null));
        // NullPointerException will fire here:
        h.t.t.toString();
    }
}