Dispatch on associated type

If by “dispatch” you mean specifically dynamic dispatch, then no:

It’s not clear to me why your function can’t be a part of the protocol, though.