Document how to get the type of a default associated type
For more information about how rustc works, see the rustc dev guide.