Comment by staticassertion

cargo doc does do that already, not sure what you mean.

IDEs should also be autocompleting trait impls.