شکل خلاصه‌ی تابع‌های جنریک

راست یه شکل خلاصه هم برای بیان جنریک‌هایی که با یه trait محدود شدن داره:

fn my_function(foo: impl Foo) {
    ...
}

که معادل نوشتن این هست:

fn my_function<T>(foo: T)
where
    T:Foo
{
    ...
}