Clarify definition of capture_or_promotion()

No functional change.