[ElderKorihor]

> Use impl types as arguments rather than generic constraints when you can

Eep. No. At least, not in anything public. Universal impl trait arguments can't be turbofished, so you're placing an unnecessary constraint on your caller.

[orf]

As I understand it &impl Meower also uses dynamic dispatch, whereas the generic version will generate a specialized version for each concrete type it is called with.

[charrondev]

Are you sure? I thought that was dyn Meower.

[orf]

You’re right! My bad

[avinassh]

> Universal impl trait arguments can't be turbofished, so you're placing an unnecessary constraint on your caller.

What does this mean?