//! Shared arity-change classification, used by both field diffing and
//! procedure arg/return-type diffing.
use TypeArity;
use Severity;
/// Widening (`required` → `optional`) is additive; anything else —
/// tightening to `required`, or introducing/removing a list — is
/// breaking, since it invalidates existing callers' assumptions about
/// the value's shape.
pub
pub