Do you have any code examples of where this is used that I can look at?

Like nullc my interest is in the area of types being used to enforce contracts and safetly (hence my interest in the ATS language).

Typesafe was my initial interest in Rust and I'd love to see examples of how this is being approached in Rust as it is now.