Rust are o prescurtare pentru exprimarea tipurilor generice constrânse de o trăsătură:
fn functia_mea(foo: impl Foo) { ... }
Este echivalent cu a scrie:
fn functia_mea<T>(foo: T) where T:Foo { ... }