Post Syndicated from daroc original https://lwn.net/Articles/995814/

Joshua Liebow-Feeser took to the stage at
RustConf to describe the methodology
that his team uses to encode
arbitrary constraints in the Rust type system when working on the

Fuchsia operating system
(slides).
The technique is not unknown to
the Rust community, but Liebow-Feeser did a good job of both explaining the
method and making a case for why it should be used more widely.