Rule: Concept tightened¶

Canonical rule slug: concept-tightening. ← back to all rules

A constraint becomes stricter, so consumer types that previously satisfied it are now rejected at compile time.

Canonical demonstration¶