satisfies Operator

Validate that an expression matches a type without widening it. Catch mismatches at definition time while preserving the most specific inferred type for downstream use.