gistfile1.rs

trait Foo { 
  fn foo(&self); 
}

trait Bar : Foo {} // trait is empty

impl MyStruct : Foo { 
  fn foo(&self) {
    // implementation goes here 
  }
}

let a = MyStruct { ... }; 
let b = a as Bar; // compile time error, MyStruct must explicitly impl Bar trait