Issue741.java

// Testcase for Issue 471
// https://github.com/typetools/checker-framework/pull/737
// @skip-test
public class Issue741 {
    @SuppressWarnings("unchecked")
    public <T> T incompatibleTypes(Object o) {
        final T x = (T) o;
        if (x != null) {}
        // invaild error here
        return x;
    }

    @SuppressWarnings("unchecked")
    public <T> T noIncompatibleTypes(Object o) {
        final T x = (T) o;
        // no error here
        return x;
    }
}