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