Rust ka një shkurtore për të shprehur gjenerikët e kufizuar nga një trait:
fn my_function(foo: impl Foo) { ... }
Kjo është ekuivalente me:
fn my_function<T>(foo: T) where T:Foo { ... }