It's true that you can expect this behavior from the method signature, but this is too important a detail to leave out. What was the rustdoc syntax to document a particular impl of a trait?