try {
            while ((len = reader.read(buf, size, bufferSize - size)) != -1) {
                size += len;
                if (size == bufferSize) {
                    // Enforce MAX_BUF_SIZE to prevent unbounded memory growth
                    final int newBufferSize = bufferSize + initialCapacity;
                    if (newBufferSize > MAX_BUF_SIZE) {

</li>
<li>
	Both types have identical structure and their element types
	unify exactly.
</li>
<li>
	Exactly one type is an <a href="#Type_inference">unbound</a>
	type parameter, and all the types in its type set unify with
	the other type
	per the unification rules for <code>≡<sub>A</sub></code>
	(loose unification at the top level and exact unification