code: void reportBoundError(UndetVar uv, InferenceBound ib) {
          reportInferenceError(
                  String.format("incompatible.%s.bounds", StringUtils.toLowerCase(ib.name())),
                  uv.qtype,
                  uv.getBounds(ib));
      }
docs: Incorporation error: mismatch between two (or more) bounds of same kind.