Rust heeft een afkorting om generieken uit te drukken die door een trait worden beperkt:
fn my_function(foo: impl Foo) { ... }
Dit is gelijk aan:
fn my_function<T>(foo: T) where T:Foo { ... }