A generikus függvények rövidebb írásmódja

Az előzőleg tárgyalt generikus függvényeket rövidebb módon is le lehet írni:

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

Ez ugyanazt teszi, mintha a következőt írnánk:

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