Merge "Support non-exact upper bound of HBoundType."