Returns true if the lower and upper bounds of a “match” the lower and upper bounds of b.

An infinite bound is considered to match an infinite bound or any finite bound, but two finite bounds only match if they are equal.