code: void reportInstError(UndetVar uv, InferenceBound ib) {
          reportInferenceError(
                  String.format("inferred.do.not.conform.to.%s.bounds", StringUtils.toLowerCase(ib.name())),
                  uv.getInst(),
                  uv.getBounds(ib));
      }
docs: Incorporation error: mismatch between inferred type and given bound.