يحتوي رست (Rust) على اختصار للتعبير عن التعميم المقيد بسمة ما:
fn my_function(foo: impl Foo) { ... }
وهذا يعادل الكتابة كما يلي:
fn my_function<T>(foo: T) where T:Foo { ... }