> 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.