trait Foo {
    fn bar(_: u64);
}