Returns whether a size already satisfies these constraints.
true when both extents lie within the inclusive ranges.
the candidate size.