Rust ย่อรูปแบบการประกาศ generics ที่กำหนด trait ได้แบบนี้:
fn my_function(foo: impl Foo) { ... }
ซึ่งจะเหมือนกับการเขียแบบนี้:
fn my_function<T>(foo: T) where T:Foo { ... }