Rust 有一個簡寫可以用來表示一個被特徵限制的泛型:
fn my_function(foo: impl Foo) { ... }
這等價於:
fn my_function<T>(foo: T) where T:Foo { ... }