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

public class Issue1397 {

  class Box<T> {}

  abstract class CrashCompound {
    abstract <T> T chk(T in);

    abstract <T> T unbox(Box<T> p);

    @SuppressWarnings("units")
    void foo(Box<Boolean> bb) {
      boolean res = false;
      res |= chk(unbox(bb));
    }
  }
}