<p dir="auto">Currently rustdoc doesn't show associated types under the "implementors" portion of the trait page (eg <a href="http://doc.rust-lang.org/std/ops/trait.Index.html" rel="nofollow">here</a>) (though it does show them <a href="http://doc.rust-lang.org/std/primitive.slice.html" rel="nofollow">on the page for the type</a>). Since associated types are as important as type parameters when inspecting an impl (and debugging a type mismatch), perhaps rustdoc should show an <code class="notranslate">(Output = [T])</code> or something similar next to each impl?</p>
<p dir="auto">In case of a cross crate impl where the trait shares a crate with the impl, the associated type will be missing from rustdoc altogether.</p>
<p dir="auto">For example, the <code class="notranslate">std::ops::Index</code> trait has an associated <code class="notranslate">Output</code> type. Of course, that type is potentially different for each <code class="notranslate">impl</code> of the trait. <code class="notranslate">impl</code> are documented at <a href="http://localhost/rust/std/ops/trait.Index.html#implementors" rel="nofollow">http://localhost/rust/std/ops/trait.Index.html#implementors</a> , but there is apparently now way to know what is the <code class="notranslate">Output</code> type for a given implementation. (Other than finding the source code, which is not necessarily easy because of <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="38085442" data-permission-text="Title is private" data-url="https://github.com/rust-lang/rust/issues/15744" data-hovercard-type="issue" data-hovercard-url="/rust-lang/rust/issues/15744/hovercard" href="https://github.com/rust-lang/rust/issues/15744">#15744</a>.)</p>