checker/tests/nullness/java8/Issue579.java

// Test case for Issue579
// https://github.com/typetools/checker-framework/issues/579

import java.util.Comparator;

public class Issue579<T> implements Comparator<T> {
  private final Comparator<T> real;

  @SuppressWarnings("unchecked")
  Issue579(Comparator<? super T> real) {
    this.real = (Comparator<T>) real;
  }

  @Override
  public int compare(T a, T b) {
    throw new RuntimeException();
  }

  @Override
  public Comparator<T> thenComparing(Comparator<? super T> other) {
    // :: warning: (nulltest.redundant)
    return new Issue579<>(real == null ? other : real.thenComparing(other));
  }
}