trait Foo {
    fn bar(&self) -> &'static str {
        "sup"
    }
}

type Bar = ();

impl Foo for Bar {}

fn main() {
    let b: Bar = ();
    println!("{}", b.bar());
}