Implement defaults for associated types

[nrc]

[nrc]

See some discussion of how default associated types interact with checking of associated items in bindings in #19121.

[nikomatsakis]

Intended semantics of defaults are that you can leave out the type from the impl, that's all. In particular they don't affect uses of the trait.

[jroesch]

cc me