Issue395.java

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

import java.util.ArrayList;

class Issue395 {

    Object[] testMethod() {
        return new Object[] {new ArrayList<>()};
    }
}