[$] Safety in an unsafe world

Joshua Liebow-Feeser took to the stage atRustConf to describe the methodologythat his team uses to encodearbitrary constraints in the Rust type system when working on theFuchsia operating system(slides).The technique is not unknown tothe Rust community, but Liebow-Feeser did a good job of both explaining themethod and making a case for why it should be used more widely.