Propagates the bounds of return value to the caller's function.